Title :
An algebraic approach to managing feature interaction in telecommunication systems
Author_Institution :
Inst. of Math. & Comput. Sci., Tech. Univ. Czestochowa, Poland
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.
Keywords :
algebraic specification; formal languages; formal verification; telecommunication computing; telephony; algebraic approach; feature interaction management; formal framework; formal languages; formal verification; mathematical models; specification; system development; telecommunication systems; telephone system; Communication industry; Computer science; Formal languages; Formal specifications; Formal verification; Mathematical model; Mathematics; Packaging; Software systems; Telephony;
Conference_Titel :
Parallel Computing in Electrical Engineering, 2002. PARELEC '02. Proceedings. International Conference on
Print_ISBN :
0-7695-1730-7
DOI :
10.1109/PCEE.2002.1115212
