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

J. Thees

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

Abstract

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.

Full paper




 Superordinated page: Year 1995

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

 Deutsch
This page in german. Diese Seite auf deutsch.