Abstract
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.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
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.
G. Boudol. Asynchrony and the π-calculus (Note). Rapport de Recherche 1702, INRIA Sofia-Antipolis, May 1992.
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.
N. Busi, R. Gorrieri, and G. Zavattaro. A process algebraic view of Linda coordination primitives. Theoretical Computer Science, 192(2):167–199, Feb. 1998.
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.
L. Cardelli and A. Gordon. Mobile Ambients. In M. Nivat, editor, Foundations ofSoftware Science and Computational Structures, volume 1378 of Lecture Notes in Computer Science, pages 140–155. Springer-Verlag, 1998.
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.
D. Gelernter. Generative communication in Linda. ACM Transactions on Programming Languages and Systems, 7(1):80–112, Jan. 1985.
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.
D. B. Lange and M. Oshima. Mobile agents with Java: The Aglet API. World Wide Web Journal, 1998.
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.
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.
A. T. Murphy. Enabling the Rapid Development of Dependable Applications in the Mobile Environment. PhD thesis, Washigton University, St. Louis, August 2000.
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.
J. Vitek. The Seal model of Mobile Computations. PhD thesis, University of Geneva, 1999.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2001 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Carbunar, B., Valente, M.T., Vitek, J. (2001). Lime Revisited. In: Picco, G.P. (eds) Mobile Agents. MA 2001. Lecture Notes in Computer Science, vol 2240. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-45647-3_5
Download citation
DOI: https://doi.org/10.1007/3-540-45647-3_5
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-42952-4
Online ISBN: 978-3-540-45647-6
eBook Packages: Springer Book Archive