Formal Criteria for Feature Interactions in Telecommunications Systems

J. Bredereke

in: V. B. Iversen, J. Nørgaard, (Hrsg.), "IFIP International Working Conference on Intelligent Networks - IWCIN95, Proceedings", pp. 83-97, Copenhagen, Denmark, 28.-21. August 1995

Zusammenfassung

The feature interaction problem in telecommunications systems increasingly obstructs the evolution of such systems. We develop formal detection criteria which render a necessary (but less than sufficient) condition for feature interactions. It can be checked mechanically and points out all potentially critical spots. These have to be analyzed manually. The resulting resolution decisions are incorporated formally. Some prototype tool support is already available. A prerequisite for formal criteria is a formal definition of the problem. Since the notions of feature and feature interaction are often used in a rather fuzzy way, we attempt a formal definition first and discuss which aspects can be included in a formalization (and therefore in a detection method). This paper describes on-going work.

Vollversion





 

 
Zu den Kontaktdetails des Verantwortlichen dieser Seite

 
This page in english. Diese Seite auf englisch.