Prof. Dr. Jan Bredereke

Reference/Literaturverweis [BrGo94a]

Bredereke, J. and Gotzhein, R.:
Increasing the concurrency in Estelle.
In Tenney, R. L., Amer, P. D. und Uyar, M. Ü. (eds.), "Formal Description Techniques VI". North-Holland. (1994).

Abstract / Zusammenfassung

We present an approach for the treatment of Feature Interactions in Intelligent Networks. The approach is based on the formal description technique Estelle and consists of three steps. For the first step, a specification style supporting the integration of additional features into a basic service is introduced. As a result, feature integration is achieved by adding specification text, i.e. on a purely syntactical level. The second step is the detection of feature interactions resulting from the integration of additional features. A formal criterion is given that can be used for the automatic detection of a particular class of feature interactions. In the third step, previously detected feature interactions are resolved. An algorithm has been devised that allows the automatical incorporation of high­level design decisions into the formal specification. The presented approach is applied to the Basic Call Service and several supplementary interacting features.

Full Text / Volltext

Postscript/gzip (76 kB)