Skip to main content
SpringerLink
Log in

‘Calls considered harmful’ and other observations: A tutorial on telephony

  • Invited Lectures
  • Conference paper
  • First Online:
Book cover Services and Visualization Towards User-Friendly Design

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

Abstract

The software application domain of customer-oriented telephony is worth the attention of specialists in formal methods. Primarily this paper is a tutorial about customer-oriented telephony. It also includes observations about how this domain should be formalized, including critiques of some popular approaches.

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. Johan Blom, Roland Bol, and Lars Kempe. Automatic detection of feature interactions in temporal logic. In K. E. Cheng and T. Ohta, eds., Feature Interactions in Telecommunications Systems III, pages 1–19. IOS Press, 1995.

    Google Scholar 

  2. Johan Blom, Bengt Jonsson, and Lars Kempe. Using temporal logic for modular specification of telephone services. In L. G. Bouma and H. Velthuijsen, eds., Feature Interactions in Telecommunications Systems, pages 197–216. IOS Press, 1994.

    Google Scholar 

  3. Gregor V. Bochmann. A general transition model for protocols and communication services. IEEE Transactions on Communications XXVIII(4):643–650, April 1980.

    Article  Google Scholar 

  4. Kenneth H. Braithwaite and Joanne M. Atlee. Towards automated detection of feature interactions. In L. G. Bouma and H. Velthuijsen, eds., Feature Interactions in Telecommunications Systems, pages 36–57. IOS Press, 1994.

    Google Scholar 

  5. E. Jane Cameron, Nancy D. Griffeth, Yow-Jian Lin, Margaret E. Nilson, William K. Schnure, and Hugo Velthuijsen. A feature interaction benchmark for IN and beyond. In L. G. Bouma and H. Velthuijsen, eds., Feature Interactions in Telecommunications Systems, pages 1–23. IOS Press, 1994.

    Google Scholar 

  6. D. Cattrall, G. Howard, D. Jordan, and S. Buj. An interaction-avoiding call processing model. In K. E. Cheng and T. Ohta, eds., Feature Interactions in Telecommunications Systems III, pages 85–96. IOS Press, 1995.

    Google Scholar 

  7. José M. Duran and John Visser. International standards for intelligent networks. IEEE Communications XXX(2):34–42, February 1992.

    Article  Google Scholar 

  8. Mohammed Faci, Luigi Logrippo, and Bernard Stepien. Formal specification of telephone systems in LOTOS: The constraint-oriented style approach.Computer Networks and ISDN Systems XXI:53–67, 1991.

    Article  Google Scholar 

  9. James J. Garrahan, Peter A. Russo, Kenichi Kitami, and Roberto Kung.Intelligent Network overview. IEEE Communications XXXI(3):30–36, March 1993.

    Article  Google Scholar 

  10. J. A. Goguen and Luqi. Formal methods and social context in software development. In Proceedings of the Sixth International Conference on Theory and Practice of Software Development (TAPSOFT '95), pages 62–81. Springer Verlag LNCS 915, 1995.

    Google Scholar 

  11. Nancy D. Griffeth and Yow-Jian Lin. Extending telecommunications systems: The feature-interaction problem. IEEE Computer XXVI(8):14–18, August 1993.

    Google Scholar 

  12. ITU-T/ETSI Recommendations Q1201-Q1205, Q1211, Q1213, Q1214. 1993.

    Google Scholar 

  13. Jeremy L. Jacob. Refinement of shared systems. In John McDermid, editor, The Theory and Practice of Refinement: Approaches to the Formal Development of Large-Scale Software Systems, pages 27–36. Butterworths, 1989.

    Google Scholar 

  14. Yoshiaki Kakuda, Akihiro Inoue, Hiroyuki Asada, Tohru Kikuno, and Tadashi Ohta. A dynamic resolution method for feature interactions and its evaluation. In K. E. Cheng and T. Ohta, eds., Feature Interactions in Telecommunications Systems III, pages 97–114. IOS Press, 1995.

    Google Scholar 

  15. Jalel Kamoun. Formal specification and feature interaction detection in the Intelligent Network. Department of Computer Science, University of Ottawa, Ottawa, Ontario, 1996.

    Google Scholar 

  16. Yasuro Kawarasaki and Tadashi Ohta. A new proposal for feature interaction detection and elimination. In K. E. Cheng and T. Ohta, eds., Feature Interactions in Telecommunications Systems III, pages 127–139. IOS Press, 1995.

    Google Scholar 

  17. Andrew Kay and Joy N. Reed. A rely and guarantee method for Timed CSP: A specification and design of a telephone exchange. IEEE Transactions on Software Engineering XIX(6):625–639, June 1993.

    Article  Google Scholar 

  18. Evan H. Magill, Simon Tsang, and Bryce Kelly. The feature interaction problem in networked multimedia services: Past, present and future. EPSRC No. GR/K 72995, October 1996, http: //www.comms.eee.strath.ac.uk/~fi/fimna.html.

    Google Scholar 

  19. N. Mitra and S. D. Usiskin. Relationship of the Signaling System No. 7 protocol architecture to the OSI Reference Model. IEEE Network V(1):26–37, January 1991.

    Google Scholar 

  20. Tadashi Ohta and Yoshio Harada. Classification, detection, and resolution of service interactions in telecommunication services. In L. G. Bouma and H. Velthuijsen, eds., Feature Interactions in Telecommunications Systems, pages 60–72. IOS Press, 1994.

    Google Scholar 

  21. K. J. Turner and M. van Sinderen. LOTOS specification style for OSI. in Jeroen van de Lagemaat and Tommaso Bolognesi, editors, The LOTOSPHERE Project, pages 137–159. Kluwer Academic Publishers, 1995.

    Google Scholar 

  22. Hugo Velthuijsen. Issues of non-monotonicity in feature-interaction detection.In K. E. Cheng and T. Ohta, eds., Feature Interactions in Telecommunications Systems III, pages 31–42. IOS Press, 1995.

    Google Scholar 

  23. Chris A. Vissers, Giuseppe Scollo, Marten van Sinderen, and Ed Brinksma.Specification styles in distributed systems design and verification. Theoretical Computer Science LXXXIX(1):179–206, 1991.

    Article  Google Scholar 

  24. Pamela Zave. Application of formal methods is research, not development.IEEE Computer XXIX(4):26–27, April 1996.

    Google Scholar 

  25. Pamela Zave. Feature interactions and formal specifications in telecommunications. IEEE Computer XXVI(8):20–30, August 1993.

    Google Scholar 

  26. Pamela Zave. Secrets of call forwarding: A specification case study. In Formal Description Techniques VIII (Proceedings of the Eighth International IFIP Conference on Formal Description Techniques for Distributed Systems and Communications Protocols), pages 153–168. Chapman & Hall, 1996.

    Google Scholar 

  27. Pamela Zave and Michael Jackson. Requirements for telecommunications services: An attack on complexity. In Proceedings of the Third IEEE International Symposium on Requirements Engineering, pages 106–117. IEEE Computer Society Press, 1997.

    Google Scholar 

  28. Pamela Zave and Michael Jackson. Where do operations come from? A multiparadigm specification technique. IEEE Transactions on Software Engineering XXII(7):508–528, July 1996.

    Article  Google Scholar 

  29. Israel Zibman, Carl Woolf, Peter O'Reilly, Larry Strickland, David Willis, and John Visser. Minimizing feature interactions: An architecture and processing model approach. In K. E. Cheng and T. Ohta, eds., Feature Interactions in Telecommunications Systems III, pages 65–83. IOS Press, 1995.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. AT&T Laboratories-Research, USA

    Pamela Zave

Authors
  1. Pamela Zave
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Tiziana Margaria Bernhard Steffen Roland Rückert Joachim Posegga

Rights and permissions

Reprints and permissions

Copyright information

© 1998 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Zave, P. (1998). ‘Calls considered harmful’ and other observations: A tutorial on telephony. In: Margaria, T., Steffen, B., Rückert, R., Posegga, J. (eds) Services and Visualization Towards User-Friendly Design. Lecture Notes in Computer Science, vol 1385. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0053493

Download citation

  • DOI: https://doi.org/10.1007/BFb0053493

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-64367-8

  • Online ISBN: 978-3-540-69760-2

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation