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

Abstract

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.

Full paper





 

 
Go to the contact details of the person in charge of this page

 
This page in german. Diese Seite auf deutsch.