A New Algorithm for Service Interaction Detection

Authors:
Ana R. Cavalli;Stéphane Maag
Affiliations:
-;-
Venue:
ICFEM '02 Proceedings of the 4th International Conference on Formal Engineering Methods: Formal Methods and Software Engineering
Year:
2002

Citing 5
Cited 1

Defining and detecting feature interactions

Proceedings of the IFIP TC 2 WG 2.1 international workshop on Algorithmic languages and calculi
The Feature and Service Interaction Problem in Telecommunications Systems: A Survey

IEEE Transactions on Software Engineering
Communication and Concurrency

Communication and Concurrency
Handbook of Process Algebra

Handbook of Process Algebra
Protocol Feature Interactions

FORTE XI / PSTV XVIII '98 Proceedings of the FIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols (FORTE XI) and Protocol Specification, Testing and Verification (PSTV XVIII)

A two-level approach for modeling and verification of telecommunication systems

PSI'09 Proceedings of the 7th international Andrei Ershov Memorial conference on Perspectives of Systems Informatics

Quantified Score

Hi-index	0.00

Visualization

Abstract

This paper presents a new formal method for telephony services engineering allowing feature interactions detection. System and service specifications are provided using the specification language SDL. These specifications are simulated in order to obtain finite state machines. An algorithm allowing to compare service scenarios according to marked transitions is proposed. The algorithm has been implemented and applied to a case study, a telecommunication system on Intelligent Network architecture including the Basic Call Service (BCS) and two supplementary: Originating Call Service (OCS) and Call Forward Unconditional (CFU). The results of this application are presented.