Prof. Dr. Jan Bredereke

Reference/Literaturverweis [BrGo94c]

Bredereke, J. and Gotzhein, R.:
Specification, detection and resolution of IN feature interactions with Estelle.
In: Hogrefe, D. and Leue, S. (eds.), "Formal Description Techniques VII", pp. 376-378, Chapman & Hall (1995).

Abstract / Zusammenfassung

We present an approach for the treatment of Feature Interactions in Intelligent Networks (IN). It is based on the formal description technique (FDT) Estelle and consists of three steps. 1) A specification style supporting the integration of additional features into a basic service is introduced. 2) Feature interactions are detected which result from the integration of additional features (before their deployment). 3) Previously detected feature interactions are resolved. We emphasize that these three aspects interfere and therefore have to be treated together. In particular, the FDT and the specification style have a strong influence on the detection criteria and on the resolution of feature interactions. Several authors have proposed classifications of feature interactions in telecommuni­ cation systems. In [DaNa93], a distinction is made between technical interference and policy interference. Technical interference leads to phenomena such as deadlocks, live­ locks and congestion. The detection of these phenomena has been studied extensively. Policy interference occurs if features interact such that the policy of one or more of the in­ volved features is violated. Our approach is designed to be general, but we will especially concentrate on policy interference. The approach sketched in this extended abstract is presented in more detail in [BrGo94], and it is applied to the Basic Call Service and several supplementary interacting features.

Full Text / Volltext

Postscript/gzip (34 kB)