KLAVA: A java package for distributed and mobile applications

Software - Practice and Experience

Volumn 32, Issue 14, 2002, Pages 1365-1394

  Bettini, Lorenzo ^a   De Nicola, Rocco ^a   Pugliese, Rosario ^a  

^a UNIVERSITY OF FLORENCE   (Italy)

Author keywords

Code mobility; Distributed applications; Java; Language and middleware implementation; Network awareness; Tuple spaces

Indexed keywords

CODES (SYMBOLS); DISTRIBUTED COMPUTER SYSTEMS; MIDDLEWARE; MOBILE COMPUTING; WIDE AREA NETWORKS;

CODE MOBILITY;

COMPUTER PROGRAMMING LANGUAGES;

EID: 0037175501     PISSN: 00380644     EISSN: None     Source Type: Journal    
DOI: 10.1002/spe.486     Document Type: Article

References (61)

1. Thorn T. Programming languages for mobile code. ACM Computing Surveys 1997; 29(3):213-239.
2. Carzaniga A., Picco G.P., Vigna G. Designing distributed applications with mobile code paradigms. Proceedings of the 19th International Conference on Software Engineering (ICSE'97), Taylor R. (ed.). ACM Press, 1997; 22-33.
3. Arnold K., Gosling J., Holmes D. The Java Programming Language (3rd edn). Addison-Wesley: Reading, MA, 2000.
4. White J.E. Mobile agents. Software Agents, Bradshaw J. (ed.). AAAI Press and MIT Press, 1996.
5. Acharya A., Ranganathan M., Saltz J. Sumatra: A language for resource-aware mobile programs. Mobile Object Systems-Towards the Programmable Internet (Lecture Notes in Computer Science, vol. 1222), Vitek J., Tschudin C. (eds.). Springer, 1997; 111-130.
6. Lange D., Oshima M. Programming and Deploying Java Mobile Agents with Aglets. Addison-Wesley: Reading, MA, 1998.
7. Harrison C., Chess D., Kershenbaum A. Mobile agents: Are they a good idea? Research Report 19887, IBM Research Division, 1994.
8. Cardelli L. Mobile computation. Mobile Object Systems-Towards the Programmable Internet (Lecture Notes in Computer Science, vol. 1222), Vitek J., Tschudin C. (eds.). Springer, 1997; 3-6.
9. Deugo D. Choosing a mobile agent messaging model. Proceedings of ISADS 2001. IEEE Press, 2001; 278-286.
10. Gelernter D. Generative communication in Linda. ACM Transactions on Programming Languages and Systems 1985; 7(1):80-112.
11. 2imbo: A tuple space based platform for adaptive mobile applications. International Conference on Open Distributed Processing/Distributed Platforms (ICODP/ICDP'97), Toronto, Canada. Chapman and Hall, 1997.
12. Castellani S., Ciancarini P., Rossi D. The ShaPE of ShaDE: A coordination system. Technical Report UBLCS 96-5, Dipartimento di Scienze dell'Informazione, Università di Bologna, Italy, 1996.
13. Arnold K., Freeman E., Hupfer S. JavaSpaces Principles, Patterns and Practice. Addison-Wesley: Reading, MA, 1999.
14. Gelernter D. Multiple tuple spaces in Linda. Proceedings of the Conference on Parallel Architectures and Languages Europe (PARLE 89) (Lecture Notes in Computer Science, vol. 365), Odijk E., Rem M., Syre J. (eds.). Springer, 1989; 20-27.
15. Scientific Computing Associate, New Haven, CT. Paradise: User's Guide and Reference Manual. http://www.lindaspaces.com/products/paradise.html [2000].
16. Carriero N., Freeman E., Gelernter D., Kaminsky D. Adaptive parallelism and Piranha. Computer 1995; 28(1):40-49.
17. Bryce C., Oriol M., Vitek J. A coordination model for agents based on secure spaces. Proceedings of the 3rd International Conference on Coordination Models and Languages (Lecture Notes in Computer Science, vol. 1594), Ciancarini P., Wolf A. (eds.). Springer, 1999; 4-20.
18. Carriero N., Gelernter D., Zuck L. Bauhaus Linda. Object-Based Models and Languages for Concurrent Systems (Lecture Notes in Computer Science, vol. 924), Ciancarini P., Nierstrasz O., Yonezawa A. (eds.). Springer, 1995; 66-76.
19. Hupfer S. Melinda: Linda with multiple tuple spaces. Technical Report RR YALEU/DCS/R-766, Department of Computer Science, Yale University, New Haven, CT, 1990.
20. Ciancarini P., Franzè F., Mascolo C. Using a coordination language to specify and analyze systems containing mobile components. ACM Transactions on Software Engineering and Methodology 2000; 9(2): 167-198.
21. De Nicola R., Ferrari G., Pugliese R. KLAIM: A kernel language for agents interaction and mobility. IEEE Transactions on Software Engineering 1998; 24(5):315-330.
22. Carriero N., Gelernter D. How to write parallel programs: A guide to the perplexed. ACM Computing Surveys 1989; 21(3):323-357.
23. Park A.S., Reichl P. Personal disconnected operations with mobile agents. Proceedings of the 3rd Workshop on Personal Wireless Communications, PWC'98, Tokyo, 1998.
24. Cugola G., Ghezzi C., Picco G.P., Vigna G. Analyzing mobile code languages. Mobile Object Systems-Towards the Programmable Internet (Lecture Notes in Computer Science, vol. 1222), Vitek J., Tschudin C. (eds.). Springer, 1997.
25. Hohlfeld M., Yee B.S. How to migrate agents, http://www.cs.ucsd.edu/̃bsy [1998].
26. Levy J.Y., Ousterhout J.K. A safe Tcl toolkit for electronic meeting places. Proceedings of the 1st USENIX Workshop of Electronic Commerce, Berkeley, CA. USENIX Association, 1995; 133-135.
27. Peine H., Stolpmann T. The architecture of the Ara platform for mobile agents. Proceedings of the 1st International Workshop on Mobile Agents (MA'97) (Lecture Notes in Computer Science, vol. 1219), Rothermel K., PopescuZeletin R. (eds.), Springer, 1997; 50-61.
28. Johansen D., Schneider F.B., van Renesse R. What TACOMA taught us. Mobility, Mobile Agents and Process Migration-An Edited Collection, Milojicic D., Douglis F., Wheeler R. (eds.). Addison-Wesley: Reading, MA, 1998.
29. Straßer M., Baumann J., Hohl F. Mole-a Java based mobile agent system. Proceedings of the 2nd ECOOP Workshop on Mobile Object Systems, University of Linz, Austria. Springer, 1996.
30. Gong L. Inside Java 2 Platform Security: Architecture, API Design, and Implementation. Addison-Wesley: Reading, MA, 1999.
31. De Nicola R., Ferrari G., Pugliese R. Types as specifications of access policies. Secure Internet Programming: Security Issues for Distributed and Mobile Objects (Lecture Notes in Computer Science, vol. 1603), Vitek J., Jensen C. (eds.). Springer, 1999; 117-146.
32. De Nicola R., Ferrari G., Pugliese R., Venneri B. Types for access control. Theoretical Computer Science 2000; 240(1):215-254.
33. Bettini L., De Nicola R. A middleware for secure distributed tuple spaces, http://music.dsi.unifi.it/papers.html [2002].
34. Adams M., Coplien J., Gamoke R., Hanmer R., Keeve F., Nicodemus K. Fault-tolerant telecommunication system patterns. Pattern Languages of Program Design 2, Vlissides J.M., Coplien J.O. (eds.). Addison-Wesley: Reading, MA, 1996; 549-562.
35. Cardelli L., Gordon A. Mobile ambients. Foundations of Software Science and Computation Structures (FoSSaCS'98) (Lecture Notes in Computer Science, vol. 1378). Springer, 1998; 140-155.
36. Cabri G., Leonardi L., Zambonelli F. Reactive tuple spaces for mobile agent coordination Proceedings of the 2nd International Workshop on Mobile Agents (Lecture Notes in Computer Science, vol. 1477), Rothermel K., Hohl F. (eds.). Springer, 1998; 237-248.
37. Ianett R. MOBILE_TQL: Interrogazione di database distribuiti XML con agenti mobili. Master's Thesis, Dipartimento di Informatica, Università di Pisa, 2002.
38. Conforti G., Ferrara O., Ghelli G. TQL algebra and its implementation. Proceedings of the 2nd IFIP International Conference on Theoretical Computer Science, Montreal, Canada. Kluwer, 2002.
39. Vitek J., Bryce C., Oriol M. Coordinating processes with secure spaces. Science of Computer Programming, 2002. To appear.
40. Sun Microsystems. RMI, Remote Method Invocation. http://java.sun.com/products/jdk/rmi.
41. Jagannathan S. Optimizing analysis for first-class tuple-spaces. Advances in Languages and Compilers for Parallel Processing, Nicolau A., Gelernter D., Gross T., Padua D. (eds.). MIT Press, 1991.
42. Czajkowski G., Zieliński K. Extension of strand with Linda-like operations. Implementation and performance study. Proceedings of the Workshop on Practical Implementations and Systems Experience in Logic Programming, Budapest, Hungary, Tick E. (ed.). Department of Computer and Information Science, University of Oregon, 1993.
43. Kaxiras S., Schoinas I. Dynamic optimizations in Linda systems. http://www.cs.wisc.edu/̃kaxiras [1993].
44. Rowstron A., Wood A. An efficient distributed tuple space implementation for networks of workstations. EuroPar 96 (Lecture Notes in Computer Science, vol. 1123), Bouge L., Fraigniaud P., Mignotte A., Robert Y. (eds.). Springer, 1996; 511-513.
45. Fenwick J.B. Jr. Compiler analysis and optimization of Linda programs for distributed-memory systems. PhD Thesis, University of Delaware, 1998.
46. De Nicola R., Pugliese R., Rowstron AIT. Proving the correctness of optimising destructive and non-destructive reads over tuple spaces. Proceedings of Coordination 2000, Cyprus (Lecture Notes in Computer Science, vol. 1906), Porto A., Roman G.-C. (eds.). Springer, 2000; 66-80.
47. Concurrency and Mobility Group at Dipartimento di Sistemi e Informatica, Università di Firenze. KLAIM Web page. http://music.dsi.unifi.it.
48. Bettini L., De Nicola R., Loreti M. Formalizing properties of mobile agent systems. Proceedings of Coordination Models and Languages (Lecture Notes in Computer Science, vol. 2315), Arbarb F., Talcott C. (eds.). Springer, 2002; 72-87.
49. De Nicola R., Loreti M. A modal logic for KLAIM. Proceedings of the 8th International Conference on Algebraic Methodology and Software Technology, AMAST 2000 (Lecture Notes in Computer Science, vol. 1816), Rus T. (ed.). Springer, 2000; 339-354.
50. Bettini L., De Nicola R., Ferrari G., Pugliese R. Interactive mobile agents in X-KLAIM. Proceedings 7th International IEEE Workshops on Enabling Technologies: Infrastructure for Collaborative Enterprises (WETICE), Ciancarini P., Tolksdorf R. (eds.). IEEE Computer Society Press, 1998; 110-115.
51. Bettini L., Loreti M., Pugliese R. Structured nets in KLAIM. Proceedings of ACM SAC 2000, Special Track on Coordination Models, Languages and Applications, vol. I, Carroll J., Damiani E., Haddad H., Oppenheim D. (eds.). ACM Press, 2000; 174-180.
52. Bettini L., Loreti M., Pugliese R. Modelling node connectivity in dynamically evolving networks. Proceedings of CONCOORD, International Workshop on Concurrency and Coordination, Lipari Island, Italy (Electronic Notes in Theoretical Computer Science, vol. 54). Elsevier, 2001.
53. Bettini L., Loreti M., Pugliese R. An infrastructure language for open nets. Proceedings of ACM SAC 2002, Special Track on Coordination Models, Languages and Applications. ACM Press, 2002; 373-377.
54. Ciancarini P., Rossi D. Jada-coordination and communication for Java agents. Mobile Object Systems-Towards the Programmable Internet (Lecture Notes in Computer Science, vol. 1222), Vitek J., Tschudin C. (eds.). Springer, 1997; 213-228.
55. Arnold K., O'Sullivan B., Scheifler R.W., Waldo J., Wollrath A. The Jini Specification. Addison-Wesley, 1999.
56. Ford D., Lehman T., McLaughry S., Wyckoff P.T. spaces. IBM Systems Journal 1998; 37(3):454-474.
57. Picco G.P. μCODE: A lightweight and flexible mobile code toolkit. Proceedings of the 2nd International Workshop on Mobile Agents (Lecture Notes in Computer Science, vol. 1477), Rothermel K., Hohl F. (eds.). Springer, 1998; 160-171.
58. Picco G.P., Murphy A.L., Roman G.-C. LIME: Linda meets mobility. Proceedings of the 21st International Conference on Software Engineering (ICSE'99), Garlan D. (ed.). ACM Press, 1999; 368-377.
59. Bouchenak S., Hagimont D. Pickling threads state in the Java system. Proceedings of the Technology of Object-Oriented Languages and Systems (TOOLS), St. Malo, France. IEEE Computer Society Press, 2000.
60. Ranganathan M., Acharya A., Sharma S., Saltz J. Network-aware mobile programs. Proceedings of the USENIX Annual Technical Conference. USENIX Association, 1997; 91-103.
61. Bettini L., De Nicola R. Translating strong mobility into weak mobility. Proceedings of the 5th IEEE International Conference on Mobile Agents (MA 2001) (Lecture Notes in Computer Science, vol. 2240), Picco G. (ed.). Springer, 2001; 182-197.