Software engineering for mobility: A roadmap

Proceedings of the Conference on the Future of Software Engineering, ICSE 2000

Volumn , Issue , 2000, Pages 241-258

  Roman, Gruia Catalin ^a   Picco, Gian Pietro ^b   Murphy, Amy L ^a  

^a WASHINGTON UNIVERSITY IN ST LOUIS   (United States)

^b POLITECNICO DI MILANO   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

SOFTWARE ENGINEERING;

ENGINEERING COMMUNITY; FIXED NETWORKS; MODE OF OPERATIONS; NETWORK STRUCTURES; NODES AND LINKS; PEER-TO-PEER COMMUNICATIONS; PRECISE DEFINITION; RESEARCH ISSUES;

DISTRIBUTED COMPUTER SYSTEMS;

EID: 84986199479     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/336512.336567     Document Type: Conference Paper

References (50)

1. 3Com. Palm VII Connected Organizer web page. http://www. 3com. com/palm/palm-vi /, 1999.
2. M. Abadi and A.D. Gordon. A Calculus for Cryptographic Protocols: The Spi Calculus. Information and Computation, 148(1): 1-70, January 1999.
3. A. Acharya, B.R. Badrinath, and T. Imielinski. Checkpointing Distributed Applications on Mobile Computers. In Proe. of the 3 ra Int. Conf. on Parallel and Distributed Information Systems, October 1994.
4. R. Amadio. An Asynchronous Model of Locality, Failure, and Process Mobility. In Proc. of the nd Int. Conf. on Coordination Models and Languages (COORDINATION '97), LNCS 1282. Springer, 1997.
5. B.R. Badrinath, A. Acharya, and T. Imielinski. Designing Distributed Algorithms for Mobile Computing Networks. Computer Communications, 19(4): 309-320, April 1996.
6. M. Baldi and G.P. Picco. Evaluating the Tradeoffs of Mobile Code Design Paradigms in Network Management Applications. In Proc. of the 20 th Int. Conf. on Software Engineering, 1998.
7. J. Broch, D.B. Johnson, and D.A. Maltz. The Dynamic Source Routing Protocol for Mobile Ad Hoc Networks Internet Draft, October 1999. IETF Mobile Ad Hoc Networking Working Group
8. G. Cabri, L. Leonardi, and F. Zambonelli. Reactive Tuple Spaces for Mobile Agent Coordination In Proc. of the 2 d Int. Workshop on Mobile Agents, LNCS 1477. Springer, 1998.
9. L. Cardelli and A. Gordon Mobile Ambients. Theoretical Computer Science, 240(1), 2000 To appear
10. D. Coore, 1%. Nagpal, and R. Weiss. Paradigms for Structure in an Amorphous Computer A.I. Memo No. 1614, Massachusetts Institute of Technology Artificial Intelligence Laboratory, October 1997
11. G. Cugola, E. Di Nitto, and A. Fuggetta. The JEDI event-based infrastructure and its application to the development of the OPSS WFMS. IEEE Trans. on Software Engineering. To appear.
12. M. Dunham, A. Helal, and S. Balakrsihnan. A Mobile Transaction Model that Captures both the Data and Movement Behavior. A CM-Baltzer Journal on Mobile Networks and Applications (MONET), 2(2): 149-162, October 1997
13. C. Fournet, G. Gonthier, J.J. Levy, L. Maranget, and D. Remy. A Calculus of Mobile Agents In Proc. of the 7 th Int. Conf. on Concurrency Theory (CONCUR), LNCS 1119. Springer, 1996
14. A. Fuggetta, G.P. Picco, and G. Vigna. Understanding Code Mobility. IEEE Trans. on Software Engineering, 24(5), 1998.
15. D. Gelernter. Generative Communication in Linda. ACM Computing Surveys, 7(1): 80-112, Jan. 1985.
16. J. Hennessy. The Future of Systems Research. Computer, 32(8): 27-33, August 1999.
17. IBM. T Spaces web page http://www.almaden.ibm. com/cs/TSpaces/, 1999
18. JavaSpaces. The JavaSpaces Specification web page. http://www. sun. com/j ini/specs/j s-spec. html, 1999
19. E. Jul, H Levy, N. Hutchinson, and A. Black. Finegrained Mobility in the Emerald System. A CA/[ Trans. on Computer Systems, 6(2): 109-133, February 1988.
20. JM. Kahn, RH. Katz, and K.S.J Pister. Mobile Networking for Smart Dust. In Proc. of the 5 th Annual ACM/IEEE Int. Conf. on Mobile Computing and Networking, Seattle, WA, USA, August 1999. ACM.
21. J. Kiniry and D. Zimmerman. A Hands-On Look at Java Mobile Agents. IEEE Internet Computing, 1(4), 1997.
22. J.J. Kistler and M. Satyanarayanan. Disconnected Operation in the Coda File System. ACM Trans. on Computer Systems, 10(1): 3-25, 1992.
23. FC. Knabe. Language Support for Mobile Agents. PhD thesis, Carnegie Mellon Univ., Pittsburgh, PA, USA, December 1995.
24. T.M. Malone and K. Crowston. The Interdisciplinary Study of Coordination ACM Computing Surveys, 26(1): 8 119, March 1994.
25. C. Mascolo. MobiS: A Specification Language for Mobile Systems In P. Ciancarini and A. Wolf, editors, Proceedings of the 3 rd Int. Conf. on Coordination Languages and Models (COORDINATION), volume 1594 of LNCS, pages 37-52. Springer, April 1999.
26. C. Mascolo, G.P. Picco, and G.-C. Roman. A Fine-Grained Model for Code Mobility. In Proc. of the h European Software Engineering Conf. held jointly with the 7 th ACM SIGSOFT Symp. on the Foundations of Software Engineering (ESEC/FSE '99), LNCS, Toulouse (France), September 1999. Springer.
27. P.J. McCann and G.-C. Roman. Compositional Programming Abstractions for Mobile Computing. IEEE Trans. on Software Engineering, 24(2), 1998.
28. J. McLurkin. Using Cooperative Robots for Explosive Ordnance Disposal. Massachusetts Institute of Technology Artificial Intelligence Laboratory.
29. Sun Microsystems. Jini web page. http://www.sun. com/j ini.
30. R. Milner. Communicating and Mobile Systems: The 1r-Calculus. Cambridge University Press, 1999.
31. A. Murphy, G.-C. Roman, and G. Varghese. Tracking Mobile Units for Dependable Message Delivery. Technica/Report WUCS-99-30, Washington University, Dept. of Computer Science, St. Louis, MO, USA, December 1999.
32. A.L. Murphy and G.P. Picco. Reliable Communication for Highly Mobile Agents In Proc. of the 18t Int. Syrup. on Agent Systems and Applications and rd Int Symp. on Mobile Agents (ASA/MA '99), pages 141-150, Palm Springs, CA, USA, October 1999. IEEE Computer Society.
33. R. De Nicola, G. Ferrari, and R. Pugliese. KLAIM: A Kernel Language for Agents Interaction and Mobility. IEEE Trans. on Software Engineering, 24(5), 1998.
34. Oracle. Oracle 8i Lite web page. http://www.oracle. com/, 1999.
35. V. Park and S. Corson. Temporally-Ordered Routing Algorithm (TORA) Version 1 Functional Specification Internet Draft, October 1999. IETF Mobile Ad Hoc Networking Working Group.
36. C.E. Perkins, E.M. Royer, and S.R. Das. Ad Hoc On Demand Distance Vector (AODV) Routing. Internet Draft, October 1999. IETF Mobile Ad Hoc Networking Working Group.
37. G.P. Picco. CODE: A Lightweight and Flexible Mobile Code Toolkit In Proc. Of the 2 nd Int. Workshop on Mobile Agents, LNCS 1477. Springer, 1998.
38. G.P. Picco, A.L. Murphy, and G.-C. Roman. LIME: Linda Meets Mobility. In D. Garlan, editor, Proc. of the 21 st Int. Conf. on Software Engineering, pages 368-377, May 1999.
39. R. Prakash, M. Raynal, and M. Singhal. An Adaptive Causal Ordering Algorithm Suited to Mobile Computing Environments. Journal of Parallel and Distributed Computing, pages 190-204, March 1997.
40. R. Prakash and M. Singhal. A Dynamic Approach to Location Management in Mobile Computing Systems. In Proc. of the 8 h Int. Conf. on Software Engineering and Knowledge Engineering (SEKE'96), pages 488-495, June 1996.
41. G.-C. Roman, P.J. McCann, and J.Y. Plun. Mobile UNITY: Reasoning and specification in mobile computing. ACM Transactions on Software Engineering and Methodology, 6(3): 250-282, 1997.
42. D.S. Rosenblum and A.L. Wolf. A Design Framework for Internet-Scale Event Observation and Notification. In Proc. of the 6 th European Software Engineering Conf. held jointly with the 5 th A CM gIGSOFT Symp. on the Foundations of Software Engineering (ESEC/FSE97), number 1301 in LNCS, Zurich (Switzerland), September 1997. Springer.
43. D. Sangiorgi. Expressing Mobility in Process Algebras: First Order and Higher Order Paradigms. PhD thesis, Computer Science Dept., Univ. of Edinburgh, 1993.
44. M. Satyanarayanan. Mobile Information Access. IEEE Personal Communications, 3(1), 1996.
45. M. Shaw and D. Gaxlan. Software Architecture: Perspective on an Emerging Discipline. Prentice Hall, 1996.
46. J.W. Stamos and D.K. Gifford. Remote Evaluation. A CM Trans. on Programming Languages and Systems, 12(4): 537-565, October 1990.
47. D. Terry, M. Theimer, K. Petersen, A. Demers, M. Spreitzer, and C. Hauser. Managing Update Conflicts in Bayou, a Weakly Connected Replicated Storage System. Operating Systems Review, 29(5): 172-183, 1995.
48. D. Volpano. Provably-Secure Programming Languages for Remote Evaluation. ACM Computing Surveys, 28A, December 1996. Participation statement for ACM Workshop on Strategic Directions in Computing Research.
49. R. Want, A. Hopper, V. Falcao, and J. Gibbons. The Active Badge Location System. ACM Trans. on Information Systems, 10(1): 91-102, January 1992.
50. J.E. White. Telescript Technology: Mobile Agents. In J. Bradshaw, editor, Software Agents. AAAI Press/MIT Press, 1996.