Advertisement

Coordinating Mobile Object-Oriented Code

  • Lorenzo Bettini
  • Viviana Bono
  • Betti Venneri
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 2315)

Abstract

Standard class-based inheritance mechanisms, which are often used to implement distributed systems, do not seem to scale well to a distributed context with mobility.In this paper, a mixin-based approach is proposed for structuring mobile object-oriented code and it is shown to fit in the dynamic and open nature of a mobile code scenario. We introduce MoMi (Mobile Mixins), a coordination language for mobile processes that communicate and exchange object-oriented code in a distributed context. MoMi is equipped with a type system, based on polymorphism by subtyping, in order to guarantee safe code communications.

Keywords

Type System Mobile Agent Base Class Operational Semantic Reduction Rule 
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.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    M. Abadi and L. Cardelli. A Theory of Objects.Springer, 1996.Google Scholar
  2. 2.
    K. Arnold, J. Gosling, and D. Holmes. The Java Programming Language.Addison-Wesley, 3rd edition, 2000.Google Scholar
  3. 3.
    L. Bettini, R.De Nicola, G. Ferrari, and R. Pugliese. Interactive Mobile Agents in X-Klaim. In P. Ciancarini and R. Tolksdorf, editors, Proc. of the 7th Int. IEEE Workshops on Enabling Technologies: Infrastructure for Collaborative Enterprises (WETICE), pages 110–115.IEEE Computer Society Press, 1998.Google Scholar
  4. 4.
    L. Bettini, M. Loreti, and B. Venneri. On Multiple Inheritance in Java. In Proc. of TOOLS EASTERN EUROPE, Emerging Technologies, Emerging Markets, 2002. To appear.Google Scholar
  5. 5.
    P.D. Blasio and K. Fisher. A Calculus for Concurrent Objects. In U. Montanari and V. Sassone, editors, CONCUR’ 96: Concurrency Theory, 7th Int. Conf., volume 1119 of LNCS, pages 655–670.Springer, 1996.Google Scholar
  6. 6.
    V. Bono, A. Patel, and V. Shmatikov. A Core Calculus of Classes and Mixins. In R. Guerraoui, editor, Proceedings ECOOP’99, number 1628 in LCNS, pages 43–66. Springer-Verlag, 1999.Google Scholar
  7. 7.
    G. Bracha and W. Cook. Mixin-based inheritance. In Proc. OOPSLA’ 90, pages 303–311, 1990.Google Scholar
  8. 8.
    M. Bugliesi and G. Castagna. Mobile Objects. In Proc. of FOOL, 2000.Google Scholar
  9. 9.
    L. Cardelli. A Language with Distributed Scope. Computing Systems, 8(1):27–59, 1995.Google Scholar
  10. 10.
    L. Cardelli and A. Gordon. Mobile ambients. In Foundations of Software Science and Computation Structures (FoSSaCS’98), number 1378 in LNCS, pages 140–155. Springer, 1998.CrossRefGoogle Scholar
  11. 11.
    A. Carzaniga, G. Picco, and G. Vigna. Designing Distributed Applications with Mobile Code Paradigms.In R. Taylor, editor, Proc. of the 19th Int. Conf. on Software Engineering (ICSE’ 97), pages 22–33.ACM Press, 1997.Google Scholar
  12. 12.
    R.De Nicola, G. Ferrari, and R. Pugliese. Klaim: a Kernel Language for Agents Interaction and Mobility. IEEE Transactions on Software Engineering, 24(5):315–330, 1998.CrossRefGoogle Scholar
  13. 13.
    R.De Nicola, G. Ferrari, R. Pugliese, and B. Venneri. Types for Access Control. Theoretical Computer Science, 240(1):215–254, 2000.zbMATHCrossRefMathSciNetGoogle Scholar
  14. 14.
    R. Findler and M. Flatt. Modular object-oriented programming with units and mixins.In Proc. ICFP’ 98, pages 94–104, 1998.Google Scholar
  15. 15.
    M. Flatt, S. Krishnamurthi, and M. Felleisen. Classes and mixins. In Proc. POPL’ 98, pages 171–183, 1998.Google Scholar
  16. 16.
    C. Fournet, G. Gonthier, J.J. Levy, L. Maranget, and D. Remy. A Calculus of Mobile Agents. In U. Montanari and V. Sassone, editors, Proc. of 7th Int. Conf. on Concurrency Theory (CONCUR’96), volume 1119 of LNCS, pages 406–421. Springer-Verlag, 1996.Google Scholar
  17. 17.
    E. Gamma, R. Helm, R. Johnson, and J. Vlissides. Design Patterns: Elements of Reusable Object-Oriented Software.Addison-Wesley, 1995.Google Scholar
  18. 18.
    A.D. Gordon and P.D. Hankin. A Concurrent Object Calculus: Reduction and Typing. In U. Nestmann and B.C. Pierce, editors, Proc. of HLCL’ 98: High-Level Concurrent Languages, volume 16.3 of ENTCS.Elsevier, 1998.Google Scholar
  19. 19.
    C. Harrison, D. Chess, and A. Kershenbaum. Mobile agents: Are they a good idea? Research Report 19887, IBM Research Division, 1994.Google Scholar
  20. 20.
    F. Knabe. An overview of mobile agent programming.In Proceedings of the Fifth LOMAPS workshop on Analysis and Verification of Multiple—Agent Languages, number 1192 in LNCS.Springer-Verlag, 1996.Google Scholar
  21. 21.
    M.V. Limberghen and T. Mens. Encapsulation and composition as orthogonal operators on mixins: a solution to multiple inheritance problems. Object Oriented Systems, 3(1):1–30, 1996.Google Scholar
  22. 22.
    R. Milner. Communication and Concurrency.Prentice Hall, 1989.Google Scholar
  23. 23.
    Object Management Group. Corba: Architecture and specification. http://www.omg.org, 1998.
  24. 24.
    B.C. Pierce and D.N. Turner. Concurrent Objects in a Process Calculus. In T. Ito and A. Yonezawa, editors, Proc. Theory and Practice of Parallel Programming (TPPP 94), volume 907 of LNCS, pages 187–215.Springer, 1995.Google Scholar
  25. 25.
    Y. Smaragdakis and D. Batory. Implementing layered designs with mixin layers. In Proc. ECOOP’ 98, pages 550–570, 1998.Google Scholar
  26. 26.
    T. Thorn. Programming Languages for Mobile Code. ACM Computing Surveys, 29(3):213–239, 1997. Also Technical Report 1083, University of Rennes IRISA.CrossRefGoogle Scholar
  27. 27.
    M. VanHilst and D. Notkin. Using role components to implement collaboration-based designs.In Proc. OOPSLA’ 96, pages 359–369, 1996.Google Scholar
  28. 28.
    J.E. White. Mobile Agents. In J. Bradshaw, editor, Software Agents.AAAI Press and MIT Press, 1996.Google Scholar
  29. 29.
    A. Wright and M. Felleisen. A syntactic approach to type soundness. Information and Computation, 115(1):38–94, 1994.zbMATHCrossRefMathSciNetGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2002

Authors and Affiliations

  • Lorenzo Bettini
    • 1
  • Viviana Bono
    • 2
  • Betti Venneri
    • 1
  1. 1.Dipartimento di Sistemi e InformaticaUniversità di FirenzeItaly
  2. 2.Dipartimento di InformaticaUniversità di TorinoItaly

Personalised recommendations