ODL-Sprachkonstrukte und interaktive Benutzerschnittstelle - TUM

Kapitel 4Erweiterung von ODLZur Aufgabe der Diplomarbeit gehörte die Erweiterung des Sprachumfangs von ODL sowie die Konzeptionund Implementierung einer interaktiven Benutzerschnittstelle für die Auswertung von ODL-Abfragen.In den folgenden Abschnitten erläutern wir im Einzelnen, welche Erweiterungen am Sprachumfangvon ODL vorgenommen werden sollten und wie die Benutzerschnittstelle konzipiert wurde.4.1 Erweiterung des SprachumfangsWie im Abschnitt 3.2 erwähnt, waren einige wichtige Sprachkonstrukte von ODL im implementiertenSprachumfang noch nicht enthalten. In [Sch01] (S. 5, S. 16-19) wurden mehrere Erweiterungen desODL-Sprachumfangs vorgestellt, von denen die folgenden im Rahmen der vorliegenden Diplomarbeitzu realisieren waren:• ProdukttypenBislang konnten nur Variablen unärer Typen deklariert werden, z.B. var:Boolean odervar:Component. Jetzt sollte die Deklaration von Variablen ermöglicht werden, deren Typein Tupel aus mehreren Typen ist:var:(ident1:type1,ident2:type2,...,ident_n:type_n) (4.1)Damit wären beispielsweise folgende Typdeklarationen möglich:- var:(comp:Component, port:Port)- var:(comp:Component, name:String, ports:(p1:Port,p2:Port))Hierbei darf jeder gültige ODL-Typ als Elementtyp eines Produkttyps verwendet werden.• SelektorenFür den Zugriff auf Elemente eines Produkttyps und auf Attribute bzw. Assoziationenvon Modellelementen werden Selektoren verwendet. Der Zugriff auf ein Element bzw. Attributeiner Variablen erfolgt über das Anhängen eines Punkts und des Selektors an die Variable:var.selector (4.2)Betrachten wir Beispiele für den Zugriff auf Elemente eines Produkttyps:- exists ports:( p1:Port, p2:Port ). ports.p1 = ports.p2liefert alle Paare gleicher Ports