Feature interactions and formal specifications in telecommunications
- 1 August 1993
- journal article
- Published by Institute of Electrical and Electronics Engineers (IEEE) in Computer
- Vol. 26 (8), 20-28
- https://doi.org/10.1109/2.223539
Abstract
The feature-interaction problem found in complex software systems that support telecommunications is reviewed. The relationship between feature interactions and formal specifications is examined. Several important ways telecommunications has evolved beyond plain old telephone service (POTS) are described. It is shown how many feature interactions can be eliminated by applying known techniques of formal specification. A glossary that explains telecommunications terms not defined in the text and acronyms used throughout the article is included.Keywords
This publication has 5 references indexed in Scilit:
- A feature-interaction benchmark for IN and beyondIEEE Communications Magazine, 1993
- Managing run-time interactions between call-processing features (intelligent networks)IEEE Communications Magazine, 1992
- A real-time transition model for analyzing behavioral compatibility of telecommunications servicesPublished by Association for Computing Machinery (ACM) ,1991
- A specifier's introduction to formal methodsComputer, 1990
- Methods of addressing the interactions of intelligent network services with embedded switch servicesIEEE Communications Magazine, 1988