Mobile distributed programming in X-KLAIM

Lecture Notes in Computer Science

Volumn 3465, Issue , 2005, Pages 29-68

  Bettini, Lorenzo ^a   De Nicola, Rocco ^a  

^a UNIVERSITY OF FLORENCE   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

ALGEBRA; CODES (SYMBOLS); COMPUTER SCIENCE; DISTRIBUTED PARAMETER CONTROL SYSTEMS; MATHEMATICAL OPERATORS; MOBILE COMPUTING;

DISTRIBUTED TUPLE SPACES; MOBILE CODES; MOBILE DISTRIBUTED PROGRAMMING; NETWARE-AWARE COMPUTING;

COMPUTER PROGRAMMING LANGUAGES;

EID: 24944451501     PISSN: 03029743     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1007/11419822_2     Document Type: Conference Paper

References (48)

1. [ACG+96] M. Adams, J. Coplien, R. Gamoke, R. Hanmer, F. Keeve, and K. Nicodemus. Faulttolerant telecommunication system patterns. In J.M. Vlissides and J.O. Coplien, editors, Pattern Languages of Program Design 2, pages 549-562. Addison-Wesley, 1996.
2. [AFH99] K. Arnold, E. Freeman, and S. Hupfer. JavaSpaces Principles, Patterns and Practice. Addison-Wesley, 1999.
3. [AGH00] K. Arnold, J. Gosling, and D. Holmes. The Java Programming Language. Addison-Wesley, 3rd edition, 2000.
4. [AOS+99] K. Arnold, B. O'Sullivan, R.W. Scheifler, J. Waldo, and A. Wollrath. The Jini Specification. Addison-Wesley, 1999.
5. [ARS97] A. Acharya, M. Ranganathan, and J. Saltz. Sumatra: A Language for Resource-aware Mobile Programs. In Vitek and Tschudin [VT97], pages 111-130.
6. [AS92] 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. [BBD+03] L. Bettini, V. Bono, R. De Nicola, G. Ferrari, D. Gorla, M. Loreti, E. Moggi, R. Pugliese, E. Tuosto, and B. Venneri. The KLAIM Project: Theory and Practice. In C. Priami, editor, Global Computing. Programming Environments, Languages, Security, and Analysis of Systems, IST/FET International Workshop, GC2003, Revised Papers, volume 2874 of LNCS, pages 88-150. Springer, 2003.
8. [BBV02] 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.
9. [BBV04] L. Bettini, V. Bono, and B. Venneri. O'KLAIM: a coordination language with mobile mixins. In Proc. of Coordination 2004, volume 2949 of LNCS, pages 20-37. Springer, 2004.
10. [BD01] 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.
11. [BDL04] L. Bettini, R. De Nicola, and M. Loreti. Formulae Meet Programs Over the Net: A Framework for Correct Network Aware Programming. Automated Software Engineering, 11(3):245-288, June 2004. Special Issue on Distributed and Mobile Software Engineering.
12. [BDP02] L. Bettini, R. De Nicola, and R. Pugliese. KLAVA: a Java package for distributed and mobile applications. Software - Practice and Experience, 32(14):1365-1394, 2002.
13. [Bet03] 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.
14. [BH00] S. Bouchenak and D. Hagimont. Pickling Threads State in the Java System. In Proc. of the Technology of Object-Oriented Languages and Systems (TOOLS), 2000.
15. [BLP02] 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.
16. [BWA94] P. Butcher, A. Wood, and M. Atkins. Global Synchronisation in Linda. Concurrency: Practice and Experience, 6(6): 505-516, 1994.
17. [Car96] L. Cardelli. Global computation. In ACM Computing Surveys. 1996. 28(4es), Article 163.
18. [Car97] L. Cardelli. Mobile computation. In Vitek and Tschudin [VT97], pages 3-6.
19. [Car99] L. Cardelli. Abstractions for Mobile Computation. In Vitek and Jensen [VJ99], pages 51-94.
20. [CG89a] N. Carriero and D. Gelernter. How to Write Parallel Programs: A Guide to the Perplexed. ACM Computing Surveys, 21(3):323-357, 1989.
21. [CG89b] N. Carriero and D. Gelernter. Linda in Context. Communications of the ACM, 32(4):444-458, 1989.
22. [CGPV97] G. Cugola, C. Ghezzi, G.P. Picco, and G. Vigna. Analyzing Mobile Code Languages. In Vitek and Tschudin [VT97].
23. [CLZ98] G. Cabri, L. Leonardi, and F. Zambonelli. Reactive Tuple Spaces for Mobile Agent Coordination. In K. Rothermel and F. Hohl, editors, Proc. of the 2nd Int. Workshop on Mobile Agents, volume 1477 of LNCS, pages 237-248. Springer, 1998.
24. [CR97] P. Ciancarini and D. Rossi. Jada - Coordination and Communication for Java Agents. In Vitek and Tschudin [VT97], pages 213-228.
25. [Deu01] D. Deugo. Choosing a Mobile Agent Messaging Model. In Proc. of ISADS 2001, pages 278-286. IEEE, 2001.
26. [DFP98] 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.
27. [DFP99] R. De Nicola, G. Ferrari, and R. Pugliese. Types as Specifications of Access Policies. In Vitek and Jensen [VJ99], pages 117-146.
28. [DFPV00] R. De Nicola, G. Ferrari, R. Pugliese, and B. Venneri. Types for Access Control. Theoretical Computer Science, 240(1):215-254, 2000.
29. [DL04] R. De Nicola and M. Loreti. A Modal Logic for Mobile Agents. ACM Transactions on Computational Logic, 5(1):79-128, 2004.
30. [FLMW98] D. Ford, T. Lehman, S. McLaughry, and P. Wyckoff. T Spaces. IBM Systems Journal, pages 454-474, August 1998.
31. [Gel85] D. Gelernter. Generative Communication in Linda. ACM Transactions on Programming Languages and Systems, 7(1):80-112, 1985.
32. [Gel89] D. Gelernter. Multiple Tuple Spaces in Linda. In E. Odijk, M. Rem, and J. Syre, editors, Proc. Conf. on Parallel Architectures and Languages Europe (PARLE 89), volume 365 of LNCS, pages 20-27. Springer, 1989.
33. [HCK94] C. Harrison, D. Chess, and A. Kershenbaum. Mobile agents: Are they a good idea? Research Report 19887, IBM Research Division, 1994.
34. [Hoa85] C.A.R. Hoare. Communicating Sequential Processes. Prentice-Hall International, 1985.
35. [HY98] M. Hohlfeld and B.S. Yee. How to Migrate Agents. Available at http://www.cs.ucsd.edu/~bsy, 1998.
36. [Kna96] 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, 1996.
37. [KWA+01] E. Korpela, D. Werthimer, D. Anderson, J. Cobb, and M. Lebofsky. SETI@home: Massively Distributed Computing for SETI. IEEE Computing in Science and Engineering, January 2001.
38. [LO98] D. Lange and M. Oshima. Programming and Deploying Java Mobile Agents with Aglets. Addison-Wesley, 1998.
39. [Mil89] R. Milner. Communication and Concurrency. Prentice Hall, 1989.
40. st Int. Conference on Software Engineering (ICSE'99), pages 368-377. ACM Press, 1999.
41. [PR98] A.S. Park and P. Reichl. Personal Disconnected Operations with Mobile Agents. In Proc. of 3rd Workshop on Personal Wireless Communications, PWC'98, 1998.
42. [PS97] H. Peine and T. Stolpmann. The Architecture of the Ara Platform for Mobile Agents. In K. Rothermel and R. Popescu-Zeletin, editors, Proc. of the 1st International Workshop on Mobile Agents (MA '97), number 1219 in LNCS, pages 50-61. Springer, 1997.
43. [RASS97] M. Ranganathan, A. Acharya, S. Sharma, and J. Saltz. Network-aware Mobile Programs. In Proc. of the USENIX Annual Technical Conf., pages 91-103. USENIX, 1997.
44. [She90] A. H. Sherman. C-Linda Reference Manual. Scientific Computing Associates, Inc., 1990.
45. [Tho97] T. Thorn. Programming Languages for Mobile Code. ACM Computing Surveys, 29(3):213-239, 1997. Also Technical Report 1083, University of Rennes IRISA.
46. [VJ99] J. Vitek and C. Jensen, editors. Secure Internet Programming: Security Issues for Mobile and Distributed Objects, number 1603 in LNCS. Springer, 1999.
47. [VT97] J. Vitek and C. Tschudin, editors. Mobile Object Systems - Towards the Programmable Internet, number 1222 in LNCS. Springer, 1997.
48. [Whi96] J. E. White. Mobile Agents. In J. Bradshaw, editor, Software Agents. AAAI Press and MIT Press, 1996.