An introduction to mobile UNITY
- First Online:
We define a mobile system as a collection of independently executing components which may migrate through some (logical or physical) space during the course of the computation, with the pattern of connectivity among components changing as they move in and out of proximity. This paper presents Mobile UNITY, a modular notation for expressing mobile computations and a logic for reasoning about their temporal properties.
Unable to display preview. Download preview PDF.
- 1.M. Satyanarayanan, James J. Kistler, Lily B. Mummert, Maria R. Ebling, Puneet Kumar, and Qi Lu, “Experience with disconnected operation in a mobile computing environment,” in Proceedings of the USENIX Symposium on Mobile and LocationIndepedent Computing, Cambridge, MA, 1993, pp. 11–28.Google Scholar
- 3.Geoffrey M. Voelker and Brian N. Bershad, “Mobisaic: An information system for a mobile wireless computing environment,” in Proceedings of the Workshop on Mobile Computing Systems and Applications, Santa Cruz, CA, 1994, pp. 185–90, IEEE.Google Scholar
- 4.Charles Perkins, “IP mobility support,” RFC 2002, IETF Network Working Group, 1996.Google Scholar
- 5.K. M. Chandy and J. Misra, Parallel Program Design: A Foundation, Addison-Wesley, New York, NY, 1988.Google Scholar
- 6.M. Abadi and L. Lamport, “An old-fashioned recipe for real-time,” in Lecture Notes in Computer Science, J. W. de Bakker, C. Huizing, W. P. Roever, and G. Rosenberg, Eds., vol. 600, pp. 1–27. Springer-Verlag, 1991.Google Scholar
- 8.P.J. McCann and G.-C. Roman, “Mobile UNITY coordination constructs applied to packet forwarding for mobile hosts,” in Second International Conference on Coordination Languages and Models, D. Garlan, D. Metayer, and D. Le, Eds., Berlin, September 1997, pp. 338–354, Springer-Verlag.Google Scholar
- 9.G.P. Picco, G.-C. Roman, and P.J. McCann, “Expressing code mobility in Mobile UNITY,” in Sixth European Software Engineering Conference (ESEC'97), Zurich, 1997, pp. 500–518.Google Scholar