Compositional Binding in Network Domains

  • Pamela Zave
Part of the Lecture Notes in Computer Science book series (LNCS, volume 4085)


This paper considers network services that bind identifiers in the course of delivering messages, and also persistent, point-to-point connections made in the context of such bindings. Five patterns represent the different ways that identifier binding can be accomplished. A formal model incorporating these patterns is used to compare the properties of the patterns, to define desirable network properties related to identifier binding, and to establish sufficient conditions for guaranteeing them. The results provide new insights into connections between mobile endpoints.


Mobile Agent Session Initiation Protocol Request Message Address Space Message Delivery 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Balakrishnan, H., Lakshminarayanan, K., Ratnasamy, S., Shenker, S., Stoica, I., Walfish, M.: A layered naming architecture for the Internet. In: Proceedings of SIGCOMM 2004. ACM Press, New York (2004)Google Scholar
  2. 2.
    Bond, G.W., Cheung, E., Purdy, K.H., Zave, P., Ramming, J.C.: An open architecture for next-generation telecommunication services. ACM Transactions on Internet Technology 4(1), 83–123 (2004)CrossRefGoogle Scholar
  3. 3.
    Jackson, D.: Software Abstractions: Logic, Language, and Analysis. MIT Press, Cambridge (2006)Google Scholar
  4. 4.
    Jackson, M., Zave, P.: Distributed Feature Composition: A virtual architecture for telecommunications services. IEEE Transactions on Software Engineering 24(10), 831–847 (1998)CrossRefGoogle Scholar
  5. 5.
    Lear, E., Droms, R.: What’s in a name: Thoughts from the NSRG. IETF Name Space Research Group (2003) (work in progress)Google Scholar
  6. 6.
    O’Donnell, M.J.: Separate handles from names on the Internet. Communications of the ACM 48(12), 79–83 (2005)Google Scholar
  7. 7.
    Perkins, C.E.: Mobile IP. IEEE Communications (May 1997)Google Scholar
  8. 8.
    Rosenberg, J., Schulzrinne, H., Camarillo, G., Johnston, A., Peterson, J., Sparks, R., Handley, M., Schooler, E.: SIP: Session Initiation Protocol. IETF Network Working Group Request for Comments 3261 (2002)Google Scholar
  9. 9.
    Xie, G., Zhan, J., Maltz, D.A., Zhang, H., Greenberg, A., Hjalmtysson, G., Rexford, J.: On static reachability analysis of IP networks. In: Proceedings of IEEE Infocom. IEEE, Los Alamitos (2005)Google Scholar
  10. 10.
    Zave, P.: Address translation in telecommunication features. ACM Transactions on Software Engineering and Methodology 13(1), 1–36 (2004)CrossRefGoogle Scholar
  11. 11.
    Zave, P.: A formal model of addressing for interoperating networks. In: Fitzgerald, J.S., Hayes, I.J., Tarlecki, A. (eds.) FM 2005. LNCS, vol. 3582, pp. 318–333. Springer, Heidelberg (2005)CrossRefGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2006

Authors and Affiliations

  • Pamela Zave
    • 1
  1. 1.AT&T Laboratories—ResearchFlorham ParkUSA

Personalised recommendations