Systematic Design of Call-Coverage Features

Authors:
Pamela Zave
Affiliations:
-
Venue:
AMAST '98 Proceedings of the 7th International Conference on Algebraic Methodology and Software Technology
Year:
1999

Citing 5
Cited 0

Software architecture: perspectives on an emerging discipline

Software architecture: perspectives on an emerging discipline
Distributed Feature Composition: A Virtual Architecture for Telecommunications Services

IEEE Transactions on Software Engineering
Feature Interactions in Telecommunications III

Feature Interactions in Telecommunications III
Feature Interactions in Telecommunications Networks IV

Feature Interactions in Telecommunications Networks IV
Feature Interactions in Telecommunications Systems

Feature Interactions in Telecommunications Systems

Quantified Score

Hi-index	0.00

Visualization

Abstract

Feature interaction is a severe practical problem in the design and maintenance of telecommunication software. The Distributed Feature Composition (DFC) virtual architecture provides a new formal foundation for large-scale, modular description of telecommunication features. It also provides a semantic structure within which feature interactions can be diagnosed, and undesirable ones can be prevented or cured. This approach is illustrated by a systematic treatment of the interactions among the class of "call coverage" features. Language semantics and analysis techniques link this domain-specific reasoning to formal verification of system properties.