An algebraic approach to managing feature interaction in telecommunication systems
S. L. Krivoi · 2003
Our aim is the presentation of an algebraic approach for the methodological support of system development with formal verification of designed systems. In this paper a problem of feature interaction (FI) in telecommunication systems (and other software systems) and a formal framework for its management are considered. Within this framework, a telephone system is described from two views, one for its mathematical models and another for its features as sentences in the formal languages corresponding to such models.