The Klaim project: Theory and practice

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

Volumn 2874, Issue , 2003, Pages 88-150

  Bettini, Lorenzo ^a   Bono, Viviana ^b   De Nicola, Rocco ^a   Ferrari, Gianluigi ^c   Gorla, Daniele ^a   Loreti, Michele ^a   Moggi, Eugenio ^d   Pugliese, Rosario ^a   Tuosto, Emilio ^c   Venneri, Betti ^a  

^a UNIVERSITY OF FLORENCE   (Italy)

^b UNIVERSITY OF TURIN   (Italy)

^c UNIVERSITY OF PISA   (Italy)

^d UNIVERSITY OF GENOA   (Italy)

Author keywords

Distributed Applications; Java; Mobile Code; Network Awareness; Process Calculi; Temporal Logics; Tuple Spaces; Type Systems

Indexed keywords

COMPUTATION THEORY; COMPUTATIONAL LINGUISTICS; MOBILE AGENTS; TEMPORAL LOGIC;

DISTRIBUTED APPLICATIONS; JAVA; MOBILE CODES; NETWORK AWARENESS; PROCESS CALCULI; TUPLE SPACE; TYPE SYSTEMS;

JAVA PROGRAMMING LANGUAGE;

EID: 17144474103     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-40042-4_4     Document Type: Article

References (74)

1. M. Abadi and L. Cardelli. A Theory of Objects. Springer, 1996.
2. M. Abadi, L. Cardelli, B. Pierce, and G. Plotkin. Dynamic typing in a statically typed language. ACM Transactions on Programming Languages and Systems, 13(2):237-268, April 1991.
3. M. Abadi, L. Cardelli, B. Pierce, and D. Remy. Dynamic typing in polymorphic languages. Journal of Functional Programming, 5(1):111-130, January 1995.
4. K. Arnold, E. Freeman, and S. Hupfer. JavaSpaces Principles, Patterns and Practice. Addison-Wesley, 1999.
5. D. Ancona, G. Lagorio, and E. Zucca. Jam - designing a java extension with mixins. ACM Transaction on Programming Languages and Systems, 2003. To appear.
6. B. G. Anderson and D. Shasha. Persistent Linda: Linda + Transactions + Query Processing. In J. P. Banatre and D. Le Metayer, editors, Proc. of Research Directions in High-Level Parallel Programming Languages, volume 574 of LNCS, pages 93-109. Springer, 1992.
7. L. Bettini, V. Bono, and B. Venneri. Coordinating Mobile Object-Oriented Code. In F. Arbarb and C. Talcott, editors, Proc. of Coordination Models and Languages, number 2315 in LNCS, pages 56-71. Springer, 2002.
8. L. Bettini, V. Bono, and B. Venneri. MoMi - A Calculus for Mobile Mixins. Manuscript, 2003.
9. L. Bettini, V. Bono, and B. Venneri. Subtyping Mobile Clasees and Mixins. In Proc. of Foundation of Object Oriented Languages (FOOL10), 2003.
10. G. Bracha and W. Cook. Mixin-based inheritance. In Proc. OOPSLA '90, pages 303-311, 1990.
11. M. Bugliesi, G. Castagna, and S. Crafa. Reasoning about security in mobile ambients. In Concur 2001, number 2154 in LNCS, pages 102-120. Springer, 2001.
12. L. Bettini and R. De Nicola. Translating Strong Mobility into Weak Mobility. In G. P. Picco, editor, Mobile Agents, number 2240 in LNCS, pages 182-197. Springer, 2001.
13. 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, Stanford, 1998. IEEE Computer Society Press.
14. L. Bettini, R. De Nicola, and M. Loreti. Formulae meet programs over the net: a framework for correct network aware programming, submitted for pubblication, available at http://music.dsi.unifi.it/, 2003.
15. L. Bettini, R. De Nicola, and R. Pugliese. KLAVA: a Java Package for Distributed and Mobile Applications. Software - Practice and Experience, 32:1365-1394, 2002.
16. L. Bettini. Linguistic Constructs for Object-Oriented Mobile Code Programming & their Implementations. PhD thesis, Dip. di Matematica, Università di Siena, 2003. Available at http://music.dsi.unifi.it.
17. L. Bettini, M. Loreti, and R. Pugliese. An Infrastructure Language for Open Nets. In Proc. of ACM SAC 2002, Special Track on Coordination Models, Languages and Applications, pages 373-377. ACM, 2002.
18. S. Bistarelli, U. Montanari, and F. Rossi. Semiring-based constraint satisfaction and optimization. Journal of the ACM, 44(2):201-236, March 1997.
19. P. Butcher, A. Wood, and M. Atkins. Global Synchronisation in Linda. Concurrency: Practice and Experience, 6(6):505-516, 1994.
20. L. Cardelli. Abstractions for Mobile Computation. In Vitek and Jensen [VJ99], pages 51-94.
21. S. Castellani, P. Ciancarini, and D. Rossi. The ShaPE of ShaDE: a coordination system. Technical Report UBLCS 96-5, Dip. di Scienze dell'Informazione, Univ. di Bologna, Italy, 1996.
22. N. Carriero and D. Gelernter. How to Write Parallel Programs: A Guide to the Perplexed. ACM Computing Surveys, 21(3):323-357, 1989.
23. L. Cardelli and A.D. Gordon. Mobile ambients. Theoretical Computer Science, 240(1):177-213, 2000.
24. An extended abstract appeared in Proceedings of FoSSaCS '98, number 1378 of LNCS, pages 140-155, Springer, 1998.
25. G. Castagna, G. Ghelli, and F. Zappa Nardelli. Typing mobility in the seal calculus. In Concur 2001, number 2154 in LNCS, pages 82-101. Springer, 2001.
26. M. Scott Corson, Joseph P. Macker, and Gregory H. Cirincione. Internet-based mobile ad hoc networking. Internet Computing, 3(4), 1999.
27. P. Ciancarini, R. Tolksdorf, F. Vitali, D. Rossi, and A. Knoche. Coordinating multiagent applications on the WWW: A reference architecture. IEEE Transactions on Software Engineering, 24(5):362-366, 1998.
28. G. Castagna and J. Vitek. Seal: A framework for secure mobile computations. In H. Bal, B. Belkhouche, and L. Cardelli, editors, Internet Programming Languages, number 1686 in LNCS, pages 47-77. Springer, 1999.
29. D. Deugo. Choosing a Mobile Agent Messaging Model. In Proc. of ISADS 2001, pages 278-286. IEEE, 2001.
30. R. De Nicola, G. Ferrari, U. Montanari, R. Pugliese, and E. Tuosto. A formal basis for reasoning on programmable qos. In International Symposium on Verification - Theory and Practice - Honoring Zohar Manna's 64th Birthday, LNCS. Springer-Verlag, 2003.
31. R. De Nicola, G. Ferrari, and R. Pugliese. Locality based Linda: Programming with explicit localities. In Michel Bidoit and Max Dauchet, editors, TAPSOFT '97: Theory and Practice of Software Development, volume 1214 of LNCS, pages 712-726. Springer-Verlag, 1997.
32. 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.
33. R. De Nicola, G. Ferrari, and R. Pugliese. Types as Specifications of Access Policies. In Vitek and Jensen [VJ99], pages 117-146.
34. R. De Nicola, G. Ferrari, and R. Pugliese. Programming Access Control: The Klaim Experience. In C. Palamidessi, editor, Proc. of the 11th International Conference on Concurrency Theory (CONCUR'00), volume 1877 of LNCS, pages 48-65. Springer-Verlag, 2000.
35. R. De Nicola, G. Ferrari, R. Pugliese, and B. Venneri. Types for Access Control. Theoretical Computer Science special issue on Coordination, 240(1):215-254, 2000.
36. R. De Nicola and M. Loreti. A Modal Logic for Mobile Agents. ACM Transactions on Computational Logic, 2002. To appear. Available at http://music.dsi.unifi.it/.
37. R. De Nicola and R. Pugliese. A process algebra based on linda. In P. Ciancarini and C. Hankin, editors, Proceedings of the First International Conference on Coordination Models and Languages (COORDINATION'96), volume 1061 of Lecture Notes in Computer Science, pages 160-178. Springer, 1996.
38. D. Duggan. Dynamic typing for distributed programming in polymorphic languages. ACM Transactions on Programming Languages and Systems, 21(1):11-45, 1999.
39. N. Davies, S. Wade, A. Friday, and G. Blair. Limbo: a tuple space based platform for adaptive mobile applications. In Int. Conference on Open Distributed Processing/Distributed Platforms (ICODP/ICDP'97), 1997.
40. 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.
41. M. Flatt, S. Krishnamurthi, and M. Felleisen. Classes and mixins. In Proc. POPL '98, pages 171-183, 1998.
42. G. Ferrari, E. Moggi, and R. Pugliese. MetaKlaim: A type safe multi-stage language for global computing. Mathematical Structures in Computer Science, 2003.
43. G. Ferrari, C. Montangero, L. Semini, and S. Semprini. Mark, a reasoning kit for mobility. Automated Software Engineering, 9:137-150, 2002.
44. A. Fuggetta, G. Picco, and G. Vigna. Understanging code mobility. IEEE Transactions on Software Engineering, 24(5):342-361, 1998.
45. D. Gelernter. Generative Communication in Linda. ACM Transactions on Programming Languages and Systems, 7(1):80-112, 1985.
46. D. Gelernter. Multiple Tuple Spaces in Linda. In J.Hartmanis G. Goos, editor, Proceedings, PARLE '89, volume 365 of LNCS, pages 20-27, 1989.
47. J.-Y. Girard. Interprétation fonctionelle et élimination des coupures dans l'arithmétique d'ordre supérieur. Thèse de doctorat d'etat, University of Paris VII, 1972.
48. D. Gorla and R. Pugliese. Behavioural equivalences for distributed and mobile systems. Research report, Dipartimento di Sistemi e Informatica, Università di Firenze, 2003. Available at http://rap.dsi.unifi.it/∼pugliese/DOWNLOAD/bis4klaim.pdf.
49. D. Gorla and R. Pugliese. Enforcing Security Policies via Types. In Proc. of the 1st International Conference on Security in Pervasive Computing (SPC'03), LNCS. Springer-Verlag, 2003.
50. D. Gorla and R. Pugliese. Resource access and mobility control with dynamic privileges acquisition. Research report, Dipartimento di Sistemi e Informatica, Università di Firenze, 2003. Available at http://rap.dsi.unifi.it/∼pugliese/DOWNLOAD/muklaim-full.pdf.
51. An extended abstract appeared in Proceedings of ICALP'03, LNCS, Springer, 2003.
52. M. Hennessy and R. Milner. Algebraic Laws for Nondeterminism and Concurrency. Journal of the ACM, 32(1):137-161, January 1985.
53. M. Hennessy and J. Riely. Resource access control in systems of mobile agents. Information and Computation, 173(1):82-120, 2002.
54. M. Loreti. Languages and Logics for Network Aware Programming. PhD thesis, Università di Siena, 2002. Available at http://music.dsi.unifi.it.
55. X. Leroy, D. Rémy, J. Vouillon, and D. Doligez. The Objective Caml system, documentation and user's guide. http://caml.inria.fr/ocaml/htmlman/, 1999.
56. The MetaML Home Page, 2000. Provides source code and documentation online at http://www.cse.ogi.edu/PacSoft/projects/metaml/index.html.
57. R. Milner, J. Parrow, and J. Walker. A Calculus of Mobile Processes, I and II. Information and Computation, 100(1):1-40, 41-77, 1992.
58. P.J. McCann and G-C. Roman. Compositional programming abstraction for mobile computing. IEEE Transactions on Software Engineering, 24(2):97-110, 1998.
59. Oracle. Oracle 9iAS application server lite web page. In http://www.oracle.com/, 1999.
60. A. Omicini and F. Zambonelli. Coordination for internet application development. Autonomous Agents and Multi-agent Systems, 2(3):251-269, 1999.
61. Special Issue on Coordination Mechanisms and Patterns for Web Agents.
62. st Int. Conference on Software Engineering (ICSE'99), pages 368-377. ACM Press, 1999.
63. A.S. Park and P. Reichl. Personal Disconnected Operations with Mobile Agents. In Proc. of 3rd Workshop on Personal Wireless Communications, PWC'98, Tokyo, 1998.
64. J.C. Reynolds. Towards a theory of type structure. In Proceedings Colloque sur la Programmation, Paris, volume 19 of Lecture Notes in Computer Science, pages 408-425, New York, NY, June 1974. Springer-Verlag. Extension of typed lambda calculus to user-defined types and polymorphic functions.
65. A. Rowstron. WCL: A web co-ordination language. World Wide Web Journal, 1(3):167-179, 1998.
66. F.B. Schneider, G. Morrisett, and R. Harper. A language-based approach to security. In Informatics: 10 Years Ahead, 10 Years Back. Conference on the Occasion of Dagstuhl's 10th Anniversary, number 2000 in Lecture Notes in Computer Science, pages 86-101. Springer-Verlag, 2000.
67. Sun Microsystems. Javaspace specification, available at: http://java.sun.com/, 1999.
68. W. Taha and T. Sheard. MetaML: Multi-stage programming with explicit annotations. Theoretical Computer Science, 248(1-2), 2000.
69. E. Tuosto. An ada95 implementation of a network coordination language with code mobility. In M. G. Harbour and J. A. de la Puente, editors, Intl. Conference on Reliable Software Technologies - Ada-Europe'99, volume 1622 of LNCS, pages 199-210, Santander, Spain, June 1999. Springer-Verlag.
70. J. Vitek and C. Jensen, editors. Secure Internet Programming: Security Issues for Mobile and Distributed Objects, number 1603 in LNCS. Springer-Verlag, 1999.
71. A.K. Wright and M. Felleisen. A syntactic approach to type soundness. Information and Computation, 115(1):38-94, 1994.
72. P. Wyckoff, S. McLaughry, T. Lehman, and D. Ford. TSpaces. IBM Systems Journal, 37(3):454-474, 1998.
73. M. Wand and I. Siveroni. Constraint systems for useless variable elimination. In In proceedings of the ACM Symposium on Principles of Programming Languages (POPL), pages 291-302, 1999.
74. N. Yoshida and M. Hennessy. Assigning types to processes. CogSci Report 99.02, School of Cognitive and Computing Sciences, University of Sussex, UK, 1999.