Skip to main content
SpringerLink
Log in

Mobile UNITY coordination constructs applied to packet forwarding for mobile hosts

  • Regular Papers
  • Conference paper
  • First Online:
Coordination Languages and Models (COORDINATION 1997)

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

Included in the following conference series:

Abstract

With recent advances in wireless communication technology, mobile computing is an increasingly important area of research. A mobile system is one where independently executing components may migrate through some space during the course of the computation, and where the pattern of connectivity among the components changes as they move in and out of proximity. Mobile UNITY is a language and logic for specifying and reasoning about mobile systems, the components of which must operate in a highly decoupled way. In this paper it is argued that Mobile UNITY contributes to the modular development of system specifications precisely because of the decoupled and declarative fashion in which coordination among components is specified. The packet forwarding mechanism which is at the core of the Mobile IP protocol for routing to mobile hosts is taken as an example. A Mobile UNITY specification of packet forwarding and the mobile system in which it must operate is developed. Mobile hosts are the components that can disconnect from one location in the network and reconnect to another at any point during system execution. Finally, the role of formal program verification in the development of protocols like Mobile IP is discussed.

This paper is based upon work supported in part by the National Science Foundation under Grant No. CCR-9217751. Any opinions, findings, and conclusions or recommendations expressed in this paper are those of the authors and do not necessarily reflect the views of the National Science Foundation. The authors thank Toni Reiss for the illustrations in figures 1 and 3.

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.

References

  1. B. R. Badrinath and G. Welling, “Event Delivery Abstractions for Mobile Computing,” Rutgers University, New Brunswick, NJ 08903, Technical Report LCSRTR-242, 1995.

    Google Scholar 

  2. K. M. Chandy and J. Misra, Parallel Program Design: A Foundation. Addison-Wesley, 1988.

    Google Scholar 

  3. D. Gries, The Science of Programming. Springer-Verlag, 1987.

    Google Scholar 

  4. D. B. Johnson, “Routing in Ad Hoc Networks of Mobile Hosts,” Proceedings of the Workshop on Mobile Computing Systems and Applications, Santa Cruz, CA, pp. 158–163, 1994.

    Google Scholar 

  5. P. J. McCann and G.-C. Roman, “Mobile UNITY: A Language and Logic for Concurrent Mobile Systems,” Washington University in St. Louis, Technical Report WUCS-97-01, 1997.

    Google Scholar 

  6. B. D. Noble, M. Price, and M. Satyanarayanan, “A Programming Interface for Application-Aware Adaptation in Mobile Computing,” Computing Systems, vol. 8, no. 4, pp. 345–363, 1995.

    Google Scholar 

  7. C. Perkins, “IP Mobility Support,” ftp://ds.internic.net/rfc/rfc2002.txt, Request for Comments 2002, October 1996.

    Google Scholar 

  8. M. Satyanarayanan, J. J. Kistler, L. B. Mummert, M. R. Ebling, P. Kumar, and Q. Lu, “Experience with Disconnected Operation in a Mobile Computing Environment,” Proceedings of the USENIX Symposium on Mobile and Location-Indepedent Computing, Cambridge, MA, pp. 11–28, 1993.

    Google Scholar 

  9. B. N. Schilit, N. Adams, and R. Want, “Context-Aware Computing Applications,” Proceedings of the Workshop on Mobile Computing Systems and Applications, Santa Cruz, CA, pp. 85–90, 1994.

    Google Scholar 

  10. C. D. Tait and D. Duchamp, “An Efficient Variable Consistency Replicated File Service,” Proceedings of the USENIX File Systems Workshop, Ann Arbor, MI, pp. 111–126, 1992.

    Google Scholar 

  11. 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–183, 1995.

    Article  Google Scholar 

  12. G. M. Voelker and B. N. Bershad, “Mobisaic: An Information System for a Mobile Wireless Computing Environment,” Proceedings of the Workshop on Mobile Computing Systems and Applications, Santa Cruz, CA, pp. 185-90, 1994.

    Google Scholar 

Download references

Author information

Authors and Affiliations

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

    Peter J. McCann & Gruia-Catalin Roman

Authors
  1. Peter J. McCann
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Gruia-Catalin Roman
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

David Garlan Daniel Le Métayer

Rights and permissions

Reprints and permissions

Copyright information

© 1997 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

McCann, P.J., Roman, GC. (1997). Mobile UNITY coordination constructs applied to packet forwarding for mobile hosts. In: Garlan, D., Le Métayer, D. (eds) Coordination Languages and Models. COORDINATION 1997. Lecture Notes in Computer Science, vol 1282. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-63383-9_90

Download citation

  • DOI: https://doi.org/10.1007/3-540-63383-9_90

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-63383-9

  • Online ISBN: 978-3-540-69527-1

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation