An algebraic approach to managing feature interaction in telecommunication systems

Author

Krivoi, Sergey

Author_Institution

Inst. of Math. & Comput. Sci., Tech. Univ. Czestochowa, Poland

fYear

2002

fDate

2002

Firstpage

99

Lastpage

101

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;

fLanguage

English

Publisher

ieee

Conference_Titel

Parallel Computing in Electrical Engineering, 2002. PARELEC '02. Proceedings. International Conference on

Print_ISBN

0-7695-1730-7

Type

conf

DOI

10.1109/PCEE.2002.1115212

Filename

1115212