Address translation in telecommunication features

ABSTRACT

Address translation causes a wide variety of interactions among telecommunication features. This article begins with a formal model of address translation and its effects, and with principles for understanding how features should interact in the presence of address translation. There is a simple and intuitive set of constraints on feature behavior so that features will interact according to the principles. This scheme (called "ideal address translation") has provable properties, is modular (explicit cooperation among features is not required), and supports extensibility (adding new features does not require changing old features). The article also covers reasoning in the presence of exceptions to the constraints, limitations of the theory, relation to real networks and protocols, and relation to other research.

REFERENCES

• 1: Magdi Amer , Ahmed Karmouch , Tom Gray , Serge Mankovski, Policies for Feature Interaction Resolution, Proceedings of the EEE/IFIP TC6 - WG6.4 & WG6.6 Third International Conference on Management of Multimedia Networks and Services: Managing QoS in Multimedia Networks and Services, p.207-223, September 25-28, 2000
• 2: Amyot, D., Charfi, L., Gorse, N., Gray, T., Logrippo, L., Sincennes, J., Stepien, B., and Ware, T. 2000. Feature description and feature interaction analysis with Use Case Maps and LOTOS. In Feature Interactions in Telecommunications and Software Systems VI, M. Calder and E. Magill, Eds. IOS Press, Amsterdam, 274--289.
• 3: Bennett, R. and Rosenberg, J. 2004. Integrating presence with multi-media communications. White paper, available from http://www.dynamicsoft.com.
• 4: Gregory W. Bond , Eric Cheung , K. Hal Purdy , Pamela Zave , J. Christopher Ramming, An open architecture for next-generation telecommunication services, ACM Transactions on Internet Technology (TOIT), v.4 n.1, p.83-123, February 2004 [doi>10.1145/967030.967034]
• 5: H. Velthuijsen , L. G. Bouma, Feature Interactions in Telecommunications Systems, IOS Press, Amsterdam, The Netherlands, 1994
• 6: M. Calder , E. Magill, Feature Interactions in Telecommunications and Software Systems VI, IOS Press, Amsterdam, The Netherlands, 2000
• 7: Cameron, E. J., Griffeth, N. D., Lin, Y.-J., Nilson, M. E., Schnure, W. K., and Velthuijsen, H. 1993. A feature-interaction benchmark for IN and beyond. IEEE Commun. 31, 3 (Mar.), 64--69.
• 8: Cattrall, D., Howard, G., Jordan, D., and Buj, S. 1995. An interaction-avoiding call processing model. In Feature Interactions in Telecommunications Systems III, K. E. Cheng and T. Ohta, Eds. IOS Press, Amsterdam, 85--96.
• 9: K. E. Cheng , T. Ohta, Feature Interactions in Telecommunications III, IOS Press, Amsterdam, The Netherlands, 1995
• 10: Cunningham, C. and Donovan, S. 2002. Session Initiation Protocol service examples. IETF work in progress.
• 11: P. Drini , L. Logrippo , R. Boutaba, Feature Interactions in Telecommunications Networks IV, IOS Press, Amsterdam, The Netherlands, 1997
• 12: Griffeth, N. D. and Velthuijsen, H. 1994. The Negotiating Agents approach to runtime feature interaction resolution. In Feature Interactions in Telecommunications Systems, L. G. Bouma and H. Velthuijsen, Eds. IOS Press, Amsterdam, 217--235.
• 13: Martin L. Griss, Software agents as next generation software components, Component-based software engineering: putting the pieces together, Addison-Wesley Longman Publishing Co., Inc., Boston, MA, 2001
• 14: Hall, R. J. 2000. Feature interactions in electronic mail. In Feature Interactions in Telecommunications and Software Systems VI, M. Calder and E. Magill, Eds. IOS Press, Amsterdam, 67--82.
• 15: Handley, M., Schulzrinne, H., Schooler, E., and Rosenberg, J. 1999. SIP: Session Initiation Protocol. IETF Network Working Group Request for Comments 2543.
• 16: Daniel Jackson, Automating first-order relational logic, Proceedings of the 8th ACM SIGSOFT international symposium on Foundations of software engineering: twenty-first century applications, p.130-139, November 06-10, 2000, San Diego, California, United States
• 17: Daniel Jackson , Ilya Shlyakhter , Manu Sridharan, A micromodularity mechanism, Proceedings of the 8th European software engineering conference held jointly with 9th ACM SIGSOFT international symposium on Foundations of software engineering, September 10-14, 2001, Vienna, Austria
• 18: Michael Jackson , Pamela Zave, Distributed Feature Composition: A Virtual Architecture for Telecommunications Services, IEEE Transactions on Software Engineering, v.24 n.10, p.831-847, October 1998 [doi>10.1109/32.729683]
• 19: Jackson, M. and Zave, P. 2001. The DFC Manual. AT&T. Updated as needed. Available from http://www.research.att.com/projects/dfc.
• 20: K. Kimbler , L. G. Bouma, Feature Interactions in Telecommunications and Software Systems V, IOS Press, Amsterdam, The Netherlands, 1998
• 21: Klensin, J. 2001. Simple mail transfer protocol. IETF Request for Comments 2821.
• 22: Lear, E. and Droms, R. 2003. What's in a name: Thoughts from the NSRG. IETF Name Space Research Group, work in progress.
• 23: Rosenberg, J. and Schulzrinne, H. 2002. Guidelines for authors of extensions to the Session Initiation Protocol (SIP). IETF work in progress.
• 24: Rosenberg, J., Schulzrinne, H., Camarillo, G., Johnston, A., Peterson, J., Sparks, R., Handley, M., and Schooler, E. 2002. SIP: Session Initiation Protocol. IETF Network Working Group Request for Comments 3261.
• 25: Jonathan D. Rosenberg , Richard Shockey, SIP: a key component for Internet telephony, Computer Telephony, v.8 n.6, p.124-139, June 2000
• 26: J. H. Saltzer , D. P. Reed , D. D. Clark, End-to-end arguments in system design, ACM Transactions on Computer Systems (TOCS), v.2 n.4, p.277-288, Nov. 1984 [doi>10.1145/357401.357402]
• 27: Mary Shaw , David Garlan, Software architecture: perspectives on an emerging discipline, Prentice-Hall, Inc., Upper Saddle River, NJ, 1996
• 28: Tennenhouse, D. L., Smith, J. M., Sincoskie, W. D., Wetherall, D. J., and Minden, G. J. 1997. A survey of active network research. IEEE Commun. 25, 1 (Jan.), 80--86.
• 29: Axel van Lamsweerde, Goal-Oriented Requirements Engineering: A Guided Tour, Proceedings of the 5th IEEE International Symposium on Requirements Engineering, p.249, August 27-31, 2001
• 30: Velthuijsen, H. 1995. Issues of non-monotonicity in feature-interaction detection. In Feature Interactions in Telecommunications Systems III, K. E. Cheng and T. Ohta, Eds. IOS Press, Amsterdam, 31--42.
• 31: Wetherall, D., Legedza, U., and Guttag, J. 1998. Introducing new Internet services: Why and how. IEEE Network.
• 32: Zave, P. 2003. Ideal connections paths in DFC. Tech. Rep., AT&T Research. Nov.
• 33: Pamela Zave , Healfdene H. Goguen , Thomas M. Smith, Component coordination: a telecommunication case study, Computer Networks: The International Journal of Computer and Telecommunications Networking, v.45 n.5, p.645-664, 5 August 2004 [doi>10.1016/j.comnet.2004.03.006]
• 34: Pamela Zave , Michael Jackson, Four dark corners of requirements engineering, ACM Transactions on Software Engineering and Methodology (TOSEM), v.6 n.1, p.1-30, Jan. 1997 [doi>10.1145/237432.237434]
• 35: Zibman, I., Woolf, C., O'Reilly, P., Strickland, L., Willis, D., and Visser, J. 1995. Minimizing feature interactions: An architecture and processing model approach. In Feature Interactions in Telecommunications Systems III, K. E. Cheng and T. Ohta, Eds. IOS Press, Amsterdam, 65--83.

INDEX TERMS

Primary Classification:
  D. Software
  D.2 SOFTWARE ENGINEERING
      D.2.1 Requirements/Specifications

Additional Classification:
  D. Software
  D.2 SOFTWARE ENGINEERING
        D.2.11 Software Architectures

General Terms:
Design, Verification

Keywords:
Component architecture, feature interaction, formal methods, network addressing, network protocols, network security, requirements, telecommunications