LIME: A coordination model and middleware supporting mobility of hosts and agents

@article{Murphy2006LIMEAC,
  title={LIME: A coordination model and middleware supporting mobility of hosts and agents},
  author={Amy L. Murphy and Gian Pietro Picco and Gruia-Catalin Roman},
  journal={ACM Trans. Softw. Eng. Methodol.},
  year={2006},
  volume={15},
  pages={279-328}
}
LIME (Linda in a mobile environment) is a model and middleware supporting the development of applications that exhibit the physical mobility of hosts, logical mobility of agents, or both. LIME adopts a coordination perspective inspired by work on the Linda model. The context for computation, represented in Linda by a globally accessible persistent tuple space, is refined in LIME to transient sharing of the identically named tuple spaces carried by individual mobile units. Tuple spaces are also… Expand
An Extensible Space-Based Coordination Approach for Modeling Complex Patterns in Large Systems,
TLDR
This paper presents a formal representation for a definition of shared spaces by introducing an “extensible tuple model”, based on existing research on Linda coordination, some Linda extensions, and virtual shared memory. Expand
Towards Linda-Based Decentralized Collaborative Applications by an Architecture Approach
TLDR
This paper proposes an architecture approach to construct Linda-based decentralized collaboration applications as mapping application-specific entities to a collection of agents, tuple types, tuple spaces and replication policies, which is inspired by common features of collaboration. Expand
Consistent Coordination Decoupling in Tuple Space Based Mobile Middleware: Design and Formal Specifications
TLDR
This paper proposes mechanisms to resolve consistency problems in a fully-decoupled TSMM, and suggests an approach for formalizing proposed consistency mechanisms in TSMM in order to appropriately analyze reliability and robustness of TSMM as coordination platform for mobile applications. Expand
Modeling an Enhanced Tuple Space Based Mobile Middleware in UNITY
  • S. De, S. Nandi, D. Goswami
  • Computer Science
  • 2012 IEEE 11th International Conference on Trust, Security and Privacy in Computing and Communications
  • 2012
TLDR
This paper proposes an improved reactive tuple space model for TSMM with enhanced decoupling behavior of reactions to achieve robustness for supported applications. Expand
Collective Adaptive Systems as Coordination Media: The Case of Tuples in Space-Time
TLDR
It is argued that a CAS model can be used to provide support for high-level coordination models, simplifying their implementation and transferring to them the self-* properties it emergently fosters, which are rooted in the so-called computational field paradigm. Expand
A coordination model of pervasive service ecosystems
TLDR
The goal of this paper is to provide a coordination model (formalised as a process algebra) capturing the relevant aspects of pervasive computing systems to allow the behaviour of large-scale, situated, and self-organising systems to be conveniently expressed. Expand
A Coordination Model and Framework for Developing Distributed Mobile Applications
TLDR
A cross-platform coordination framework, based on the new coordination model, is presented by this thesis in order to facilitate and simplify the development of distributed mobile applications. Expand
A coordination framework for dynamic adaptation in ubiquitous systems based on distributed tuple space
TLDR
A decentralized coordination framework was created, offering primitives to developers to create ubiquitous systems able to interact and cooperate in scenarios of total decentralization, and it is pointed out how the solution can grant context data dissemination in ad hoc and infrastructured networks. Expand
Programming pervasive and mobile computing applications: The TOTA approach
TLDR
TOTA promotes a simple way of programming that facilitates access to distributed information, navigation in complex environments, and the achievement of complex coordination tasks in a fully distributed and adaptive way, mostly freeing programmers and system managers from the need to take care of low-level issues related to network dynamics. Expand
LINC: A Compact Yet Powerful Coordination Environment
TLDR
The intrinsic properties brought by the LINC environment are described and how it helps the coordination aspects in a distributed system and how LINC can manage a wide range of application domains. Expand
...
1
2
3
4
5
...

References

SHOWING 1-10 OF 59 REFERENCES
LIME: a middleware for physical and logical mobility
TLDR
The model underlying LIME is illustrated, its current design and implementation is presented, and initial lessons learned in developing applications that involve physical mobility are discussed. Expand
Lime revisited : Reverse engineering an agent communication model
TLDR
This paper begins by deconstructing the Lime model to identify its core components, then attempts to reconstruct a simpler model, which it is called CoreLime, that supports fine-grained access control and can better scale to large configurations. Expand
LIME: Linda meets mobility
  • G. Picco, A. Murphy, G. Roman
  • Computer Science
  • Proceedings of the 1999 International Conference on Software Engineering (IEEE Cat. No.99CB37002)
  • 1999
TLDR
The decoupled style of computing characterizing the Linda model is extended to the mobile environment and the set of tuples accessible by a particular agent residing on a given host is altered transparently in response to changes in the connectivity pattern among the mobile hosts. Expand
WCL: A co-ordination language for geographically distributed agents
TLDR
The paper motivates the inclusion of many of the primitives, and demonstrates how a well designed set of primitives provides performance and efficiency, and the JavaSpace primitives are used as an example of how the choice ofPrimitives can detrimentally affect the efficiency of the language. Expand
KLAIM: A Kernel Language for Agents Interaction and Mobility
We investigate the issue of designing a kernel programming language for mobile computing and describe KLAIM, a language that supports a programming paradigm where processes, like data, can be movedExpand
Tuple centres for the coordination of Internet agents
The paper presents the TUCSON coordination model for Internet applications based on network-aware (possibly mobile) agents. The model is based on the notion of tuple centre, an enhanced tuple spaceExpand
Exploiting Transiently Shared Tuple Spaces for Location Transparent Code Mobility
TLDR
This paper uses the notion of transiently shared tuple space, originally introduced in the Lime coordination model, to overcome limitations of mobile code run-time support, and effectively defines a new coordination approach that deals uniformly with code and data. Expand
Gaia: A Middleware Infrastructure to Enable Active Spaces1
TLDR
An experimental middleware infrastructure is presented that is used to prototype the resource management of and provide the useroriented interfaces for physical spaces populated with network-enabled computing resources and can help satisfy the requirements for user-centricity and mobility. Expand
Compositional Programming Abstractions for Mobile Computing
TLDR
This paper addresses the question of whether UNITY, a state-based formalism with a foundation in temporal logic, can be extended to address concurrent, mobile systems and examines some new abstractions for communication among mobile components that express reconfiguration and disconnection and which can be composed in a modular fashion. Expand
Supporting Fault-Tolerant Parallel Programming in Linda
TLDR
FT-Linda is described, a version of Linda that addresses this problem by providing two major enhancements that facilitate the writing of fault-tolerant applications: stable tuple spaces and atomic execution of tuple space operations. Expand
...
1
2
3
4
5
...