Analysing Feature Interactions with Automated Deduction Systems
Francis Klay, Michaël Rusinowitch, Sorin Ioan Stratulat, Loria Inria · 1998
. Finding feature interactions in telephony systems becomes more problematic with the continuously increasing number of services oered by them. In this paper, we present how to employ an automated system for proving properties of formal specications of telephony services. We outline a technique to specify telephony services at an abstract level. The methodology we have developed allows the use of automated deduction systems for o-line detection of interactions from the user point of view and helps for their resolution. 1 Introduction For the past few years, a continuously increasing number of telecommunication services and service features have been supplied by telephone networks, such as Call Forwarding, Abbreviated Dialling, Originating Call Screening. It is assumed that each feature added to a telephony system modies the behaviour of the system. The important question raised when a new service is created is how to detect the interactions among the service features of dierent s...