ODL-Sprachkonstrukte und interaktive Benutzerschnittstelle - TUM

18 KAPITEL 3: GRUNDLAGEN VON ODLAuswertung werden wahlweise in einem separaten Ausgabefenster oder im Editorfenster angezeigt(Abbildung 3.1). Die Architektur des ODL-Systems und der implementierte Sprachumfang werdenausführlich in [Pasch] beschrieben. Wir wollen daher nur kurz den implementierten Sprachumfangbeschreiben, der den Ausgangspunkt für die Erweiterungen darstellt.Abbildung 3.1: ODL-EditorfensterDer Sprachumfang der ersten ODL-Interpreter-Realisierung entspricht der in [Sch01] (S.16-17)spezifizierten Grammatik mit der Einschränkung, dass Selektorausdrücke und Funktionsausdrückenicht unterstützt wurden. Damit standen folgende Sprachkonstrukte zur Verfügung:• DatentypenDas Typsystem enthielt zwei Gruppen von Datentypen: die Grundtypen Boolean, Int undString sowie Metamodelltypen, die alle vom Metamodell definierten Entitäten darstellen –beispielsweise entpricht der Metamodellentität ”Port” der ODL-Datentyp Port.• QuantifizierungenVariablen von Typen mit endlicher Domäne konnten mit dem Universalquantor forall unddem Existenzquantor exists quantifiziert werden. Außerdem konnten mit dem new-Quantorneue Entitäten erstellt werden.Der context-Quantor, der für die gebundene Variable eine Benutzereingabe starten soll, wurdein den Sprachumfang intergriert, ein entsprechendes ODL-Query-Subsystem war allerdingsnicht Bestandteil der Implementierung, sodass von context-Quantoren gebundene Variablenmit festen Werten (z.B. null für Entitäten oder 0 für ganze Zahlen) belegt wurden.Eine Quantifizierung besteht aus dem Quantor, der gebundenen Variablen, dem Variablentypund dem quantifizierten Term. Beispiel:forall c1:Component. exists c2:Component. c1 = c2• Logische OperationenZwei ODL-Propositionen konnten mit den Junktionen and, or, implies und equiv verknüpftwerden. Mit dem einstelligen neg-Operator konnte eine ODL-Proposition negiert werden.Beispiel:forall a:Boolean. forall b:Boolean.(a = b equiv exists c:Boolean.( a = c and b = c ) )