@inproceedings{484672c58490420c86e294a79311513a,
title = "An automatic off-line feature interaction detection method by static analysis of specifications",
abstract = "This paper presents an automatic off-line method for detecting interactions from service specifications. Services are specified with diagrams. The detection is based on a static analysis and reveals two main kinds of interactions: when two services are triggered at the same time or when the trigger of a service leads to the trigger of another one. It is implemented in Prolog and we present a conclusive case study. The interactions are computed in terms of subscriptions, state, triggering event and conflicting results. Our algorithms can be modified to take into account new concepts introduced by VoIP and new IP services.",
keywords = "Feature interaction, Internet telephony, Off-line detection, Static analysis",
author = "H{\'e}l{\`e}ne Jouve and \{Le Gall\}, Pascale and Sophie Coudert",
year = "2005",
month = dec,
day = "1",
language = "English",
isbn = "158603524X",
series = "Feature Interactions in Telecommunications and Software Systems VIII",
pages = "131--146",
booktitle = "Feature Interactions in Telecommunications and Software Systems VIII",
note = "8th International Workshop on Feature Interactions in Telecommunications and Software Systems, ICFI 2005 ; Conference date: 28-06-2005 Through 30-06-2005",
}