An Algebraic Approach to Managing Feature Interaction in Telecommunication Systems

Authors:
Sergey Krivoi
Affiliations:
-
Venue:
PARELEC '02 Proceedings of the International Conference on Parallel Computing in Electrical Engineering
Year:
2002

Citing 0
Cited 1

A formal approach to service interaction detection in mobile networks

SEPADS'11 Proceedings of the 10th WSEAS international conference on Software engineering, parallel and distributed systems

Quantified Score

Hi-index	0.00

Visualization

Abstract

Our aim is 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 managing 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.