Lime is a middleware communication infrastructure for mobile computation that addresses physical mobility of devices and logical mobility of software components through a rich set of local and remote primitives. The system’s key innovation is the concept of transiently shared tuple spaces. In Lime, mobile programs are equipped with tuple spaces that move whenever the program moves and are transparently shared with tuple spaces of other co-located programs. The Lime specification is surprisingly complex and tricky to implement. In this paper, we start by deconstructing the Lime model to identify its core components, then we attempt to reconstruct a simpler model, which we call CoreLime, that supports fine-grained access control and can better scale to large configurations.
KeywordsMobile Agent Operational Semantic Weak Reaction Code Fragment Tuple Space
Unable to display preview. Download preview PDF.
- 1.R. M. Amadio, I. Castellani, and D. Sangiorgi. On Bisimulations for the Asynchronous π-Calculus. In U. Montanari and V. Sassone, editors, CONCUR’ 96, volume 1119 of LNCS, pages 147–162. Springer-Verlag, Berlin, 1996.Google Scholar
- 2.G. Boudol. Asynchrony and the π-calculus (Note). Rapport de Recherche 1702, INRIA Sofia-Antipolis, May 1992.Google Scholar
- 3.C. Bryce and J. Vitek. The JavaSeal Mobile Agent Kernel. In D. Milojevic, editor, Proceedings of the 1st International Symposium on Agent Systems and Applications, Third International Symposium on Mobile Agents (ASAMA’99), pages 176–189, Palm Springs, May 9–13, 1999. ACM Press.Google Scholar
- 5.N. Busi and G. Zavattaro. Some Thoughts on Transiently Shared Tuple Spaces. In Workshop on Software Engineering and Mobility. Co-located with International Conference on Software Engineering, May 2001.Google Scholar
- 7.R. DeNicola and R. Pugliese. A Process Algebra based on Linda. In P. Ciancarini and C. Hankin, editors, Proc. 1st Int. Conf. on Coordination Models and Languages, volume 1061 of Lecture Notes in Computer Science, pages 160–178. Springer-Verlag, Berlin, 1996.Google Scholar
- 9.K. Honda and M. Tokoro. On Asynchronous Communication Semantics. In M. Tokoro, O. Nierstrasz, and P. Wegner, editors, Object-Based Concurrent Computing. LNCS 612, pages 21–51, 1992.Google Scholar
- 10.D. B. Lange and M. Oshima. Mobile agents with Java: The Aglet API. World Wide Web Journal, 1998.Google Scholar
- 11.J.-H. Morin. HyperNews: a Hyper-Media Electronic Newspaper based on Agents. In Proceedings of HICSS-31, Hawai International Conference on SystemSciences, pages 58–67, Kona, Hawaii, January 1998.Google Scholar
- 12.A. L. Murphy, G. P. Picco, and G.-C. Roman. Lime: A Middleware for Physical and Logical Mobility. In Proceedings of the 21 st International Conference on Distributed Computing Systems (ICDCS-21), May 2001. to appear.Google Scholar
- 13.A. T. Murphy. Enabling the Rapid Development of Dependable Applications in the Mobile Environment. PhD thesis, Washigton University, St. Louis, August 2000.Google Scholar
- 14.G. P. Picco, A. L. Murphy, and G.-C. Roman. Lime: Linda Meets Mobility. In D. Garlan, editor, Proceedings of the 21 st International Conference on Software Engineering (ICSE’99), pages 368–377. ACM Press, May 1999.Google Scholar
- 15.J. Vitek. The Seal model of Mobile Computations. PhD thesis, University of Geneva, 1999.Google Scholar