Lime Revisited

Reverse Engineering an Agent Communication Model
  • Bogdan Carbunar
  • Marco Tulio Valente
  • Jan Vitek
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 2240)


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.


Mobile Agent Operational Semantic Weak Reaction Code Fragment Tuple Space 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 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. 2.
    G. Boudol. Asynchrony and the π-calculus (Note). Rapport de Recherche 1702, INRIA Sofia-Antipolis, May 1992.Google Scholar
  3. 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
  4. 4.
    N. Busi, R. Gorrieri, and G. Zavattaro. A process algebraic view of Linda coordination primitives. Theoretical Computer Science, 192(2):167–199, Feb. 1998.zbMATHCrossRefMathSciNetGoogle Scholar
  5. 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
  6. 6.
    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.CrossRefGoogle Scholar
  7. 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
  8. 8.
    D. Gelernter. Generative communication in Linda. ACM Transactions on Programming Languages and Systems, 7(1):80–112, Jan. 1985.zbMATHCrossRefGoogle Scholar
  9. 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. 10.
    D. B. Lange and M. Oshima. Mobile agents with Java: The Aglet API. World Wide Web Journal, 1998.Google Scholar
  11. 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. 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. 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. 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. 15.
    J. Vitek. The Seal model of Mobile Computations. PhD thesis, University of Geneva, 1999.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2001

Authors and Affiliations

  • Bogdan Carbunar
    • 1
  • Marco Tulio Valente
    • 1
  • Jan Vitek
    • 1
  1. 1.Dept. of Computer SciencesPurdue UniversityPurude

Personalised recommendations