Feature Interactions and Formal Specifications in Telecommunications

Computer

Volumn 26, Issue 8, 1993, Pages 20-28

  Zave, Pamela ^a  

^a LUCENT TECHNOLOGIES   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 84942212318     PISSN: 00189162     EISSN: None     Source Type: Trade Journal    
DOI: 10.1109/2.223539     Document Type: Article

References (11)

1. J.M. Wing, “A Specifier’s Introduction to Formal Methods,” Computer, Vol. 23, No. 9, Sept. 1990, pp. 8–24.
2. T.F. Bowen et al., “The Feature Interaction Problem in Telecommunication Systems,” Proc. Seventh Int’l Conf. Software Eng. for Telecommunications Switching Systems, Institution of Electrical Engineers, London, 1989, pp. 59–62.
3. E.J. Cameron et al., “Towards a Feature Interaction Benchmark,” IEEE Comm., Vol. 31, No. 3, Mar. 1993, pp. 64–69.
4. S. Homayoon and H. Singh, “Methods of Addressing the Interactions of Intelligent Network Services with Embedded Switch Services,” IEEE Comm., Vol. 26, No. 12, Dec. 1988, pp. 42–46, 70.
5. M. Buhrmann, W. Zan, and P. Oldfield, “Evolution to the Personal Intelligent Network,” Proc. 14th Int’l Switching Symp., Vol. 1, Inst. Electronics, Information, and Comm. Engineers, 1992, pp. 312–316.
6. P. Zave and M. Jackson, “Techniques for Partial Specification and Specification of Switching Systems,” VDM 91: Formal Software Development Methods (Proc. Fourth Int’l Symp. VDM Europe), Springer-Verlag, Berlin, 1991, pp. 511–525.
7. M. Cain, “Managing Run-Time Interactions Between Call-Processing Features,” IEEE Comm., Vol. 30, No. 2, Feb. 1992, pp. 44–50.
8. P. Zave and M. Jackson, “Where Do Operations Come From? Specification of Event Properties.” Submitted for publication, 1993. Available from the author.
9. L. Schessel, “Administrable Feature Interaction Concept,” Proc. 14th Int’l Switching Symp., Vol. 2, Inst. Electronics, Information, and Comm. Engineers, 1992, pp. 122–126.
10. E.J. Cameron and Y.-J. Lin, “A Real-Time Transition Model for Analyzing Behavioral Compatibility of Telecommunications Services,” Proc. ACM SIGSoft Conf. Software for Critical Systems, ACM Press, New York, 1991, pp. 101–111.
11. N. Griffeth and H. Velthuijsen, “The Negotiating Agent Model for Rapid Feature Development,” Proc. Eighth Int’l Conf. Software Eng. for Telecommunications Systems and Services, Institution of Electrical Engineers, London, 1992, pp. 67–71.