Coordination and mobility in CoreLime

The choice of suitable high-level communication primitives for wide area network programming languages remains an open problem. This paper is driven by the practical consideration of providing an efficient and secure communication infrastructure for mobile agent systems. This has led us to formalise the Lime coordination middleware and propose a simplified model, which we call CoreLime, that addresses some of the main shortcomings of Lime while retaining its distinguishing feature, namely transient sharing of tuple spaces. We further discuss a prototype implementation along with security extensions. Our contribution is thus an exploration of the language design space rather than a theoretical investigation of properties of these models.

[1]  Franco Zambonelli,et al.  Tuple centres for the coordination of Internet agents , 1999, SAC '99.

[2]  Rocco De Nicola,et al.  A Process Algebra Based on LINDA , 1996, COORDINATION.

[3]  Amy L. Murphy,et al.  LIME: a middleware for physical and logical mobility , 2001, Proceedings 21st International Conference on Distributed Computing Systems.

[4]  Tobin J. Lehman,et al.  T Spaces : The Next Wave , 2004 .

[5]  Peter Sewell,et al.  Nomadic Pict: language and infrastructure design for mobile agents , 1999, Proceedings. First and Third International Symposium on Agent Systems Applications, and Mobile Agents.

[6]  Amy L. Murphy,et al.  Enabling the rapid development of dependable applications in the mobile environment , 2000 .

[7]  Luca Cardelli,et al.  Mobile Ambients , 1998, FoSSaCS.

[8]  Jean-Henry Morin,et al.  HyperNews, a hypermedia electronic-newspaper environment based on agents , 1998, Proceedings of the Thirty-First Hawaii International Conference on System Sciences.

[9]  Jan Vitek,et al.  A Coordination Model for Agents Based on Secure Spaces , 1999 .

[10]  Amy L. Murphy,et al.  LIME: Linda meets mobility , 1999, Proceedings of the 1999 International Conference on Software Engineering (IEEE Cat. No.99CB37002).

[11]  Robin Milner,et al.  A Calculus of Mobile Processes, II , 1992, Inf. Comput..

[12]  Jan Vitek,et al.  Lime Revisited , 2001, Mobile Agents.

[13]  Cédric Fournet,et al.  The reflexive CHAM and the join-calculus , 1996, POPL '96.

[14]  Roberto Gorrieri,et al.  A Process Algebraic View of Linda Coordination Primitives , 1998, Theor. Comput. Sci..

[15]  David S. Rosenblum,et al.  Design and evaluation of a wide-area event notification service , 2001, TOCS.

[16]  Jan Vitek,et al.  The JavaSeal Mobile Agent Kernel , 2004, Autonomous Agents and Multi-Agent Systems.

[17]  Patrick Th. Eugster,et al.  Distributed Asynchronous Collections: Abstractions for Publish/Subscribe Interaction , 2000, ECOOP.

[18]  David Gelernter,et al.  Generative communication in Linda , 1985, TOPL.

[19]  Rocco De Nicola,et al.  KLAIM: A Kernel Language for Agents Interaction and Mobility , 1998, IEEE Trans. Software Eng..