Coordinating mobile object-oriented code

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 2315, Issue , 2002, Pages 56-71

  Bettini, Lorenzo ^a   Bono, Viviana ^b   Venneri, Betti ^a  

^a UNIVERSITY OF FLORENCE   (Italy)

^b UNIVERSITY OF TURIN   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

DISTRIBUTED DATABASE SYSTEMS;

COORDINATION LANGUAGE; DISTRIBUTED SYSTEMS; INHERITANCE MECHANISMS; MOBILE CODES; MOBILE OBJECTS; MOBILE PROCESS; OBJECT-ORIENTED CODE; TYPE SYSTEMS;

CODES (SYMBOLS);

EID: 84944041942     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-46000-4_8     Document Type: Conference Paper

References (29)

1. M. Abadi and L. Cardelli. A Theory of Objects.Springer, 1996.
2. K. Arnold, J. Gosling, and D. Holmes. The Java Programming Language.Addison-Wesley, 3rd edition, 2000.
3. L. Bettini, R. De Nicola, G.F errari, and R. Pugliese. Interactive Mobile Agents in X-Klaim. In P.Ciancarini and R.T olksdorf, editors, Proc of the 7th Int. IEEE Workshops on Enabling Technologies: Infrastructure for Collaborative Enterprises (WETICE), pages 110–115.IEEE Computer Society Press, 1998.
4. L. Bettini, M. Loreti, and B.V enneri. On Multiple Inheritance in Java. In Proc Of TOOLS EASTERN EUROPE, Emerging Technologies, Emerging Markets, 2002. To appear.
5. P.D. Blasio and K. Fisher. A Calculus for Concurrent Objects. In U.Mon tanari and V.Sassone, editors, CONCUR ’96: Concurrency Theory, 7th Int. Conf., volume 1119 of LNCS, pages 655–670.Springer, 1996.
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.
7. G. Bracha and W. Cook. Mixin-based inheritance. In Proc. OOPSLA ’90, pages 303–311, 1990.
8. M. Bugliesi and G. Castagna. Mobile Objects. In Proc. of FOOL, 2000.
9. L. Cardelli. A Language with Distributed Scope. Computing Systems, 8(1):27–59, 1995.
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.
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.A CM Press, 1997.
12. R.De Nicola, G.F errari, and R. Pugliese. Klaim: a Kernel Language for Agents Interaction and Mobility. IEEE Transactions on Software Engineering, 24(5):315–330, 1998.
13. R.De Nicola, G.F errari, R. Pugliese, and B.V enneri. Types for Access Control. Theoretical Computer Science, 240(1):215–254, 2000.
14. R. Findler and M. Flatt. Modular object-oriented programming with units and mixins.In Proc. ICFP ’98, pages 94–104, 1998.
15. M. Flatt, S. Krishnam urthi, and M.F elleisen. Classes and mixins. In Proc. POPL ’98, pages 171–183, 1998.
16. C.F ournet, G.Gon thier, J.J. Levy, L. Maranget, and D. Remy. A Calculus of Mobile Agents. In U.Mon tanari and V.Sassone, editors, Proc. of 7th Int. Conf. on Concurrency Theory (CONCUR’96), volume 1119 of LNCS, pages 406–421. Springer-Verlag, 1996.
17. E. Gamma, R. Helm, R. Johnson, and J. Vlissides. Design Patterns: Elements of Reusable Object-Oriented Software.Addison-W esley, 1995.
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.
19. C. Harrison, D. Chess, and A. Kershen baum. Mobile agents: Are they a good idea? Research Report 19887, IBM Research Division, 1994.
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-V erlag, 1996.
21. M.V.Lim berghen 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.
22. R. Milner. Communication and Concurrency.Pren tice Hall, 1989.
23. Object Management Group. Corba: Architecture and specification. http://www.omg.org, 1998.
24. B.C. Pierce and D.N. Turner. Concurrent Objects in a Process Calculus. In T.Ito and A.Y onezawa, editors, Proc. Theory and Practice of Parallel Programming (TPPP 94), volume 907 of LNCS, pages 187–215.Springer, 1995.
25. Y. Smaragdakis and D. Batory. Implementing layered designs with mixin layers. In Proc. ECOOP ’98, pages 550–570, 1998.
26. T. Thorn. Programming Languages for Mobile Code. ACM Computing Surveys, 29(3):213–239, 1997.Also Technical Report 1083, University of Rennes IRISA.
27. M.V anHilst and D. Notkin. Using role components to implement collaborationbased designs.In Proc. OOPSLA ’96, pages 359–369, 1996.
28. J.E. White. Mobile Agents. In J.Bradsha w, editor, Software Agents.AAAI Press and MIT Press, 1996.
29. A.W right and M.F elleisen. A syntactic approach to type soundness. Information and Computation, 115(1):38–94, 1994.