@inproceedings{04254cfc1fd94670a128199da01f6cd7,
title = "A new algorithm for service interaction detection",
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.",
keywords = "Feature interaction, Finite State Machine, Intelligent Network, Telecommunication service",
author = "Ana Cavalli and St{\'e}phane Maag",
note = "Publisher Copyright: {\textcopyright} Springer-Verlag Berlin Heidelberg 2002.; 4th International Conference on Formal Engineering Methods, ICFEM 2002 ; Conference date: 21-10-2002 Through 25-10-2002",
year = "2002",
month = jan,
day = "1",
doi = "10.1007/3-540-36103-0\_38",
language = "English",
isbn = "9783540000297",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer Verlag",
pages = "371--382",
editor = "Chris George and Huaikou Miao",
booktitle = "Formal Methods and Software Engineering - 4th International Conference on Formal Engineering Methods, ICFEM 2002, Proceedings",
}