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

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1385, Issue , 1998, Pages 8-27

  Zave, Pamela ^a  

^a AT AND T LABS RESEARCH   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

APPLICATION PROGRAMS; VISUALIZATION;

SOFTWARE APPLICATIONS;

FORMAL METHODS;

EID: 84957593798     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/bfb0053493     Document Type: Conference Paper

References (29)

1. Johan Blom, Roland Boi, 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.
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.
3. Gregor V. Bochmann. A general transition model for protocols and communication services. IEEE Transactions on Communications 28(4):643-650, April 1980.
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.
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.
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.
7. Jose M. Duran and John Visser. International standards for intelligent networks. IEEE Communications 30(2):34-42, February 1992.
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 3053-67, 1991.
9. James J. Garrahan, Peter A. Russo, Kenichi Kitami, and Roberto Kung. Intelligent Network overview. IEEE Communications 31(3):30-36, March 1993.
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 VerlagLNCS915, 1995.
11. Nancy D. Griffeth and Yow-Jian Lin. Extending telecommunications systems: The feature-interaction problem. IEEE Computer 26(8):14-18, August 1993.
12. ITU-T/ETSI Recommendations Q1201-Q1205, Q1211, Q1213, Q1214. 1993.
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.
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.
15. Jalel Kamoun. Formal specification and feature interaction detection in the Intelligent Network. Department of Computer Science, University of Ottawa, Ottawa, Ontario, 1996.
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.
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 19(6):625-639, June 1993.
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.
19. N. Mitra and S. D. Usiskin. Relationship of the Signaling System No. 7 protocol architecture to the OSI Reference Model. IEEE Network V(l):26-37, January 1991.
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.
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.
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.
23. Chris A. Vissers, Giuseppe Scollo, Marten van Sinderen, and Ed Brinksma. Specification styles in distributed systems design and verification. Theoretical Computer Science 89(1): 179-206,1991.
24. Pamela Zave. Application of formal methods is research, not development. IEEE Computer 30(4):26-27, April 1996.
25. Pamela Zave. Feature interactions and formal specifications in telecommunications. IEEE Computer 26(8):20-30, August 1993.
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.
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.
28. Pamela Zave and Michael Jackson. Where do operations come from? A multiparadigm specification technique. IEEE Transactions on Software Engineering 22(7):508-528, July 1996.
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.