An introduction to mobile UNITY

  • Gruia-Catalin Roman
  • Peter J. McCann
Workshop on Formal Method for Parallel Programming: Theory and Applications Dominuque Mery, Universitè Henri Poincare-Nancy 1 and IUF, France BeverlySanders, University of Florida, USA
Part of the Lecture Notes in Computer Science book series (LNCS, volume 1388)

Abstract

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.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 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
  2. 2.
    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, vol. 29, no. 5, pp. 172–83, 1995.CrossRefGoogle Scholar
  3. 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. 4.
    Charles Perkins, “IP mobility support,” RFC 2002, IETF Network Working Group, 1996.Google Scholar
  5. 5.
    K. M. Chandy and J. Misra, Parallel Program Design: A Foundation, Addison-Wesley, New York, NY, 1988.Google Scholar
  6. 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
  7. 7.
    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, vol. 6, no. 3, 1997, 250–282.CrossRefGoogle Scholar
  8. 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. 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

Copyright information

© Springer-Verlag 1998

Authors and Affiliations

  • Gruia-Catalin Roman
    • 1
  • Peter J. McCann
    • 2
  1. 1.Department of Computer ScienceWashington UniversitySt. LouisUSA
  2. 2.Bell LaboratoriesLucent TechnologiesNapervilleUSA

Personalised recommendations