Skip to main content
Springer Nature Link
Log in

An introduction to mobile UNITY

  • 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
  • Conference paper
  • First Online:
Parallel and Distributed Processing (IPPS 1998)

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 1388))

Included in the following conference series:

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.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Similar content being viewed by others

References

  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. 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.

    Article  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 

  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.

    Article  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 

Download references

Author information

Authors and Affiliations

  1. Department of Computer Science, Washington University, One Brookings Drive, 63130, St. Louis, MO, USA

    Gruia-Catalin Roman

  2. Bell Laboratories, Lucent Technologies, 1000 E. Warrenville Road, 60566, Naperville, IL, USA

    Peter J. McCann

Authors
  1. Gruia-Catalin Roman
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Peter J. McCann
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

José Rolim

Rights and permissions

Reprints and permissions

Copyright information

© 1998 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Roman, GC., McCann, P.J. (1998). An introduction to mobile UNITY. In: Rolim, J. (eds) Parallel and Distributed Processing. IPPS 1998. Lecture Notes in Computer Science, vol 1388. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-64359-1_749

Download citation

  • DOI: https://doi.org/10.1007/3-540-64359-1_749

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-64359-3

  • Online ISBN: 978-3-540-69756-5

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics