Ein Werkzeug zur Analyse von Feature-Interaktionen in IN

J. Thees, J. Bredereke

in: R. Gotzhein und J. Bredereke (Hrsg.): Formale Beschreibungstechniken für verteilte Systeme, Proceedings des 5. GI/ITG-Fachgesprächs, Kaiserslautern, 22.- 23.6.1995, 199-208

Zusammenfassung

In diesem Aufsatz wird die Arbeitsweise eines Werkzeuges dargestellt, mit dessen Hilfe die Analyse von Feature-Interaktionen in Intelligenten (Telefon-) Netzwerken unterstützt wird. Dieses Werkzeug basiert auf einem von uns entwickelten formalen Lösungsansatz, der aus einem geeigneten Spezifikationsstil, aus einem formalen Kriterium zur Erkennung von Feature-Interaktionen und aus einer Methode zur Auflösung der erkannten Feature-Interaktionen besteht. Das Werkzeug führt eine statische Analyse von Estelle-Spezifikationen durch und erkennt dabei potientielle Feature-Interaktionen so wie nichtausführbare Transitionen. Darüberhinaus kann es die erkannten nichtausführbaren Transitionen zur Optimierung aus der Spezifikation entfernen. Wir erläutern zunächst kurz den zugrundeliegenden Ansatz und beschreiben danach die Anwendung auf Estelle anhand der Funktionsweise des Werkzeuges.

Vollversion




 Übergeordnete Seite: Jahr 1995

 Feedback
Zu den Kontaktdetails des Verantwortlichen dieser Seite

 English
This page in english. Diese Seite auf englisch.