Reasoning about code mobility with mobile UNITY

ACM Transactions on Software Engineering and Methodology

Volumn 10, Issue 3, 2001, Pages 338-395

  Picco, Gian Pietro ^b   Roman, Gruia Catalin ^a   McCann, Peter J ^c  

^a WASHINGTON UNIVERSITY   (United States)

^b POLITECNICO DI MILANO   (Italy)

^c NOKIA RESEARCH CENTER   (United States)

Author keywords

C.2.4 Computer Communication Networks : Distributed Systems Distributed applications; D.2.1 Software Engineering : Requirements Specifications; D.2.4 Software Engineering : Software Program Verification Correctness proofs

Indexed keywords

EID: 0040027498     PISSN: 1049331X     EISSN: None     Source Type: Journal    
DOI: 10.1145/383876.383879     Document Type: Article

References (32)

1. AMADIO, R. 1997. An asynchronous model of locality, failure, and process mobility. In Proceedings of the 2nd International Conference on Coordination Models and Languages (COORDINATION '97), D. Garlan and D. L. Métayer, Eds. Lecture Notes in Computer Science, vol. 1282. Springer-Verlag, New York, NY, 374-391.
2. BALDI, M., GAI, S., AND PICCO, G. 1997. Exploiting code mobility in decentralized and flexible network management. In Proceedings of the 1st International Workshop on Mobile Agents (Apr.), K. Rothermel and R. Popescu-Zeletin, Eds. Springer Lecture Notes in Computer Science, vol. 1219. Springer-Verlag, New York, NY, 13-26.
3. CARDELLI, L. AND GORDON, A. 2000. Mobile ambients. Theor. Comput. Sci. 240, 1.
4. CARZANIGA, A., PICCO, G. P., AND VIGNA, G. 1997. Designing distributed applications with mobile code paradigms. In Proceedings of the 1997 International Conference on Software Engineering (ICSE '97, Boston, MA, May 17-23), W. R. Adrion, Chair. ACM Press, New York, NY, 22-32.
5. CHANDY, K. M. AND MISRA, J. 1979. Distributed simulation: A case study in design and verification of distributed programs. IEEE Trans. Softw. Eng. 5, 5 (Sept.), 440-452.
6. CHANDY, K. M. AND MISRA, J. 1988. Parallel Program Design: A Foundation. Addison-Wesley Longman Publ. Co., Inc., Reading, MA.
7. CUGOLA, G., GHEZZI, C., PICCO, G., AND VIGNA, G. 1997. Analyzing mobile code langauges. In Mobile Object Systems: Towards the Programmable Internet, J. Vitek and C. Tschudin, Eds. Springer Lecture Notes in Computer Science, vol. 1222. Springer-Verlag, New York, NY, 93-111.
8. DE NICOLA, R., FERRARI, G. L., AND PUGLIESE, R. 1998. KLAIM: A kernel language for agents interaction and mobility. IEEE Trans. Softw. Eng. 24, 5, 315-330.
9. FOURNET, C., GONTHIER, G., LÉVY, J.-J., MARANGET, L., AND RÉMY, D. 1996. A calculus of mobile agents. In Proceedings of the 7th International Conference on Concurrency Theory (CONCUR '96, Pisa, Italy, Aug.). Springer Lecture Notes in Computer Science, vol. 1119. Springer-Verlag, New York, NY, 406-421.
10. FUGGETTA, A., PICCO, G. P., AND VIGNA, G. 1998. Understanding code mobility. IEEE Trans. Softw. Eng. 24, 5, 342-361.
11. GARLAN, D. AND MéTAYER, D. L., EDS. 1997. Proceedings of the 2nd International Conference on Coordination Models and Languages. (COORDINATION '97). Lecture Notes in Computer Science, vol. 1282. Springer-Verlag, New York, NY.
12. GRAY, R. 1995. AgentTcl: A transportable agent system. In Proceedings of the CIKM Workshop on Intelligent Information Agents (Baltimore, MD, Dec.).
13. HARRISON, C., CHESS, D., AND KERSHENBAUM, A. 1997. Mobile agents: Are they a good idea? In Mobile Object Systems: Towards the Programmable Internet, J. Vitek and C. Tschudin, Eds. Springer Lecture Notes in Computer Science, vol. 1222. Springer-Verlag, New York, NY, 25-47. Also available as IBM Tech. Rep.
14. JOHANSEN, D., VAN RENNESSE, R., AND SCHNEIDER, F. 1995. An introduction to the TACOMA distributed systems - Version 1.0. Tech. Rep. 95-23. Department of Computer Science, University of Tromso, Tromso, Norway.
15. JUL, E., LEVY, H., HUTCHINSON, N., AND BLACK, A. 1988. Fine-grained mobility in the Emerald system. ACM Trans. Comput. Syst. 6, 1 (Feb.), 109-133.
16. KINIRY, J. AND ZIMMERMAN, D. 1997. A hands-on look at Java mobile agents. IEEE Internet Comput. 1, 4 (July-Aug.), 21-33.
17. KNABE, F. 1995. Language support for mobile agents. Tech. Rep. CMU-CS-95-223. Department of Computer Science, Carnegie Mellon University, Pittsburgh, PA. Also Eur. Comput. Industry Centre Tech. Rep. ECRC-95-36.
18. LANGE, D. B. AND OSHIMA, M. 1988. Programming and Deploying Java Mobile Agents with Aglets. Addison-Wesley Publishing Co., Inc., Redwood City, CA.
19. GENERAL MAGIC, INC. 1995. Telescript Language Reference. General Magic, Inc., Mountain View, CA.
20. MCCANN, P. J. AND ROMAN, G.-C. 1997. Mobile UNITY coordination constructs applied to packet forwarding for mobile hosts. In Coordination Languages and Models. Springer Lecture Notes in Computer Science, vol. 1282. 338-354.
21. MCCANN, P. J. AND ROMAN, G.-C. 1998. Compositional programming abstractions for mobile computing. IEEE Trans. Softw. Eng. 24, 2 (Feb.), 97-110.
22. MILNER, R., PARROW, J., AND WALKER, D. 1992. A calculus of mobile processes, I. Inf. Comput. 100, 1 (Sept.), 1-40.
23. OMG. 1995. CORBA: Architecture and Specification. Object Management Group, Framingham, MA.
24. OUSTERHOUT, J. K. 1994. Tcl and the Tk Toolkit. Addison-Wesley Professional Computing Series. Addison-Wesley Longman Publ. Co., Inc., Reading, MA.
25. PICCO, G. P., ROMAN, G.-C., AND MCCANN, P. J. 1997. Expressing code mobility in Mobile UNITY. In Proceedings of the 6th European Software Engineering Conference (ESEC/FSE '97, Zurich, Switzerland, Sept.), M. Jazayeri and H. Schauer, Eds. Springer Lecture Notes in Computer Science, vol. 1301. Springer-Verlag, New York, NY, 500-518. Held jointly with the 5th ACM SIGSOFT Symposium on the Foundations of Software Engineering.
26. ROMAN, G.-C., MCCANN, P. J., AND PLUN, J. Y. 1997. Mobile UNITY: reasoning and specification in mobile computing. ACM Trans. Softw. Eng. Methodol. 6, 3 (July), 250-282.
27. STAMOS, J. W. AND GIFFORD, D. K. 1990. Remote evaluation. ACM Trans. Program. Lang. Syst. 12, 4 (Oct.), 537-564.
28. STRASSER, M., BAUMANN, J., AND HOHL, F. 1996. Mole - A Java based mobile agent system. In Special Issues in Object-Oriented Programming: Workshop Reader of the 10th European Conference on Object-Oriented Programming (ECOOP '96, July), M. Mühlaüser, Ed. 327-334.
29. SUN MICROSYSTEMS. 1995. The Java Language Specification. Sun Microsystems, Inc., Mountain View, CA.
30. TSCHUDIN, C. 1994. An introduction to the MO messenger language. University of Geneva, Geneva, Switzerland.
31. VITEK, J. AND TSCHUDIN, C., EDS. 1997. Mobile Object Systems: Towards the Programmable Internet. Springer Lecture Notes in Computer Science, vol. 1222. Springer-Verlag, New York, NY.
32. WHITE, J. E. 1997. Mobile agents. In Software Agents, J. M. Bradshaw, Ed. MIT Press, Cambridge, MA, 437-472.