Expressing code mobility in mobile UNITY
Advancements in network technology have led to the emergence of new computing paradigms that challenge established programming practices by employing weak forms of consistency and dynamic forms of binding. Code mobility, for instance, allows for invocation-time binding between a code fragment and the location where it executes. Similarly, mobile computing allows hosts (and the software they execute) to alter their physical location. Despite apparent similarities, the two paradigms are distinct in their treatment of location and movement. This paper seeks to uncover a common foundation for the two paradigms by exploring the manner in which stereotypical forms of code mobility can be expressed in a programming notation developed for mobile computing. Several solutions to a distributed simulation problem are used to illustrate the modeling strategy for programs that employ code mobility.
KeywordsCode mobility UNITY Mobile UNITY coordination mobile computing mobile code languages
Unable to display preview. Download preview PDF.
- 1.A. Black, N. Hutchinson, E. Jul, and H. Levy. Fine-Grained Mobility in the Emerald System. ACM Transactions on Computer Systems, 6(1), February 1988.Google Scholar
- 2.A. Carzaniga, G.P. Picco, and G. Vigna. Designing Distributed Applications with Mobile Code Paradigms. In R.N. Taylor, editor, Proceedings of the 19th International Conference on Software Engineering, 1997.Google Scholar
- 3.K.M. Chandy and J. Misra. Distributed Simulation: A Case Study in Design and Verification of Distributed Programs. IEEE Transaction on Software Engineering, 5(5):440–452, September 1979.Google Scholar
- 4.K.M. Chandy and J. Misra. Parallel Program Design. Addison-Wesley, 1988.Google Scholar
- 5.G. Cugola, C. Ghezzi, G.P. Picco, and G. Vigna. Analyzing Mobile Code Languages. pages 93–111. In .Google Scholar
- 6.J.W. Stamos and D.K. Gifford. Remote Evaluation. ACM Transactions on Programming Languages and Systems, 12(4):537–565, October 1990.Google Scholar
- 7.P. J. McCann and G-.C. Roman. Mobile UNITY: A Language and Logic for Concurrent Mobile Systems. Technical Report WUCS-97-01, Dept. of Computer Science, Washington University, St. Louis, 1996.Google Scholar
- 8.P.J. McCann and G-.C. Roman. Mobile UNITY Coordination Constructs Applied to Packet Forwarding for Mobile Hosts. Technical Report WUCS-96-15, Dept. of Computer Science, Washington University, St.Louis, 1996. To appear at the 2nd Intl. Conf. on Coordination Models and Languages, Berlin, September 1–3, 1997.Google Scholar
- 9.Object Management Group. CORBA: Architecture and Specification, August 1995.Google Scholar
- 10.G-.C. Roman, P.J. McCann, and J.Y. Plun. Mobile UNITY: Reasoning and Specification in Mobile Computing. Technical Report WUCS-96-08, Dept. of Computer Science, Washington University, St.Louis, 1996. To appear in ACM Transactions on Software Engineering and Methodology.Google Scholar
- 11.K. Rothermel and R. Popescu-Zeletin, editors. Mobile Agents, volume 1219 of Lecture Notes on Computer Science. Springer-Verlag, 1997.Google Scholar
- 12.J. Vitek and C. Tschudin, editors. Mobile Object Systems: Towards the Programmable Internet, volume 1222 of Lecture Notes on Computer Science. Springer-Verlag, 1997.Google Scholar