ODL-Sprachkonstrukte und interaktive Benutzerschnittstelle - TUM

8 KAPITEL 2: ÜBERBLICKAbbildung 2.1: AutoFocus: Projektbrowser und Diagrammfenster• EET (Extended Event Traces)Neben den STD’s können auch EET’s zur Verhaltensbeschreibung von Komponenten benutztwerden. Sie stellen die kommunikationsorientierte Sicht auf das Verhalten von Komponentendar, indem sie dieses durch exemplarische Kommunikationsabläufe zwischen Komponentendarstellen. EET’s ähneln damit vom Konzept her den Sequenzdiagrammen in UML.Eine Beschreibung der Architektur und Features von AutoFocus gibt es in [HS02].QUEST stellt eine Erweiterung von AutoFocus dar, welche die Validierung von Modellen mithilfeexistierender formaler Methoden und Werkzeuge ermöglicht, um die Korrektheit kritischer Systemabschnittezu sichern (s. auch [BLS00]). Das Tool bietet keinen graphischen Editor für Modelle, sonderneine Baumansicht für die Modellstruktur, die aber immer noch Bearbeitungsmöglichkeiten zur Verfügungstellt.Die Aufgabe von QUEST ist das Testen und die Validierung von Modellen durch den Einsatzvon einbindbaren Programmmodulen (Abbildung 2.2), die über die Metamodell-Schnittstelle auf Produktmodellezugreifen. Zusätzlich ermöglicht QUEST die Generierung von Quellcode verschiedenerProgrammiersprachen wie C oder Java aus den Produktmodellen.AutoFocus und QUEST verwenden dasselbe Metamodell und können Produktmodelle untereinanderaustauschen. Die Abbildung 2.3 zeigt die Komponente, deren Strukturdiagramm auf der Abbildung2.1 dargestellt ist, als Baumdiagramm im QUEST-Browser.Ausführliche Informationen zum Arbeiten mit dem QUEST-Tool gibt es im Benutzerhandbuch[QuestUser]. Technische Information zur Implementierung von QUEST liefert das Entwicklerhandbuch[QuestDev].