An algebraic approach to managing feature interaction in telecommunication systems

Abstract

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.