Entwurf und Implementierung eines Werkzeugs zur Analyse von Feature-Interaktionen in Estelle-Spezifikationen

J. Thees

Diplomarbeit, Fachbereich Informatik, Universität Kaiserslautern, April 1995

Zusammenfassung

In dieser Arbeit wird die Entwicklung eines Werkzeugs dargestellt, mit dessen Hilfe die Analyse von Feature-Interaktionen in Intelligenten Netzwerken unterstützt wird. Es basiert auf der formalen Beschreibungstechnik Estelle, wobei durch einen speziellen Spezifikationsstil Feature-Interaktionen anhand von bestimmten Wechselwirkungen zwischen Transitionen verschiedener Features (u.a. Indeterminismus) erkannt werden können. Das Ziel ist dabei die statische Erkennung und Protokollierung dieser Wechselwirkungen sowie die Entfernung von nicht ausführbaren Transitionen zur Laufzeitoptimierung.

Dazu werden zunächst die theoretischen Möglichkeiten zur Erkennung dieser Wechselwirkungen untersucht. Danach werden anhand der Implementierung des Analysewerkzeugs die eingesetzten Methoden und Algorithmen dargestellt und schließlich der Einsatz des Werkzeugs erläutert, das auf dem Estelle-Compiler PET basiert.

Vollversion




 Übergeordnete Seite: Jahr 1995

 Feedback
Zu den Kontaktdetails des Verantwortlichen dieser Seite

 English
This page in english. Diese Seite auf englisch.