ODL-Sprachkonstrukte und interaktive Benutzerschnittstelle - TUM

10 KAPITEL 2: ÜBERBLICK2.2 Metamodell von AutoFocus/QUESTDas Metamodell beschreibt, welche Modellierungskonzepte zur Entwicklung von Modellen zur Verfügungstehen (z.B. Komponenten, Kanäle, Ports, Zustände) und wie sie zueinander in Verbindungstehen (z.B. ein Port gehört zu genau einer Komponente) ([Sch01], S.3-4). Die Abbildung 2.4, die aus[TACAS00] entnommen wurde, zeigt ein vereinfachtes Klassendiagramm des Metamodells für SSD’sund STD’s.Im Folgenden erläutern wir die für uns wichtigen Elemente des QUEST-Metamodells, die wir inspäteren Beispielen von ODL-Abfragen benutzen werden:• KomponenteKomponenten sind Grundbausteine von Modellen. Eine Komponente enthält Unterkomponenten(das sind Komponenten im SSD, welches die Struktur der betrachteten Komponente beschreibt),Ports, über die Signale gesendet und empfangen werden, sowie Kanäle, die die Unterkomponentender Komponente untereinander verbinden.• PortEin Port dient einer Komponente zur Kommunikation mit der Umgebung. Das Attribut Directionbestimmt, ob der Port ein Ausgangsport oder ein Eingangsport ist. Der Typ der Daten, dieder Port senden bzw. empfangen kann, wird bei jedem Port über das Attribut Type festgelegt.Ein Eingangsport kann mit höchstens einem Kanal verbunden sein; ein Ausgangsport kannmehrere ausgehende Kanäle haben.• KanalKanäle verbinden Ports miteinander und ermöglichen damit für Komponenten, zu denen dieverbundenen Ports gehören, die Kommunikation untereinander. Ein Kanal verbindet zwei Ports,von denen einer ein Ausgangsport und der andere ein Eingangsport sein muss. Wie schon beiPorts, ist bei jedem Kanal der Typ der übertragenen Daten festgelegt – dieser muss mit demDatentyp der verbundenen Ports übereinstimmen.• AutomatEin Automat beschreibt das Verhalten einer Komponente. Der Automat wird in einem STDerstellt und einer Komponente zugeordnet.• ZustandZustände sind Bestandteile eines Automaten und beschreiben seine Struktur und sein Verhalten.Wie Komponenten, können Zustände hierarchisch aufgebaut sein, d.h., jeder Zustand kannbeliebig viele Unterzustände haben, die sein Verhalten bestimmen.Alle oben aufgeführten Metamodellelemente besitzen das Attribut Name. Dies ermöglicht es, Modellelementeunterschiedlich zu benennen, wobei der Name nicht zwingend eindeutig sein muss.Weiterführenden Informationen zum QUEST-Metamodell gibt es in [BLS01], [QuestDev] und in[TACAS00].Das Vorhandensein eines gemeinsamen Metamodells ermöglicht es AutoFocus und QUEST, Modelleuntereinander ohne Konvertierungsverluste auszutauschen. Des Weiteren können neue Modulein QUEST integriert werden, die die Metamodell-Schnittstelle für den Zugriff auf Produktmodellenbenutzen – diese Module benötigen keine weiteren Kenntnisse über das QUEST-Tool und sind damitauch in zukünftigen Weiterentwicklungen des AQuA-Frameworks einsetzbar, die das gleiche oder einabwärtskompatibles Metamodell verwenden.