Automatic detection of service interactions in telecommunications service specifications

A telecommunications system to which new services are frequently added should be robust against the modification of specifications. When a new service specification is added to a telecommunications system, the new service specification interacts with existing service specifications, causing adverse behaviors to occur that were not intended by the designer. The paper proposes a method for automatically detecting these adverse behaviors, called service interactions, by analyzing the new service specification along with existing service specifications that are specified in accordance with the state transition model. Service interactions have become a serious obstacle to the rapid development of new services and are considered to be an international issue