|
Abstract
|
The architecture of the Intelligent Network (IN) has been introduced to provide a platform for the rapid development and deployment of new services and service features to satisfy customer needs. The service designer is supported by a Service Creation Environment (SCE), a software tool that allows to design new services and service features on a high level of abstraction. Unfortunately, even if each single service feature is designed and tested properly and behaves according to its specification, unwanted and adverse behaviour may occur when it is activated in combination with other features or other instances of the same feature. This so-called feature interaction problem is a major obstacle for the development and introduction of new services, as it may confuse customers or even compromise network operation. In this contribution, a concept for an extension of a Service Creation Environment is presented, capable of supporting service developers to detect interactions between IN service features in an early stage of development. Our approach uses a formal description technique (SDL) for the specification of the features, and formal verification techniques combined with the simulation of IN call and service processing for detection of unwanted interactions. The tool is divided into two complementary parts: a simulator that models basic call processing based on the call state models of ITU-T IN Capability Set 1, and an analytical part, able to identify interactions within services and combinations of services based on analysis and verification of service specifications.
|
|
Reference entry
|
Keck, D.O.
A Tool Concept for Feature Interaction Detection in Intelligent Networks
Proceedings of the 5th Open Workshop on High Speed Networks, Paris, March 1996, pp. 3-9-3-15
|