ODL-Sprachkonstrukte und interaktive Benutzerschnittstelle - TUM

3.2 ERSTE IMPLEMENTIERUNG DES ODL-INTERPRETERS 19• KonstantenFür die Grundtypen Boolean, Int und String konnte jeder zulässige Wert als Konstanteeingegeben und in ODL-Abfragen verwendet werden. Beispiel:(10 = 10 and ”ABC” = ”ABC”) equiv trueDie Eingabe einer Entität als Konstante ist nicht möglich, da im Allgemeinen nicht bekannt ist,aus welchen Werten eine Entität besteht und auf welche Weise sie eindeutig identifiziert werdenkann (der Name und Typ genügen als Identifikation oft nicht). Entitätskonstanten sind auchnicht notwendig, da zur Erstellung neuer Entitäten der new-Quantor dient und der Zugriff aufeine existierende Entität mit der Quantifikation exists var:EntityType. Conditionerfolgt, wobei Condition eine Bedingung definieren soll, die die gesuchte Entität eindeutigidentifiziert.• GleichheitstestZwei Werte vom gleichen Typ können auf Gleichheit getestet werden. Für die GrundtypenBoolean, Int und String wird dabei einfach auf Wertegleichheit getestet. Zwei Entitätsvariablendagegen werden nur dann als gleich angesehen, wenn sie ein und dieselbe Entitätreferenzieren – zwei verschiedene Entitäten, die den gleichen Namen tragen und die gleichenRelationen aufweisen, werden als ungleich betrachtet. Nehmen wir zwei ODL-Abfragen alsBeispiele:Test auf Wertgleichheit:exists b:Boolean. b = trueUngleichheit von Entitäten bei gleichem Namen:exists p1:Port. exists p2:Port.(is Name(p1, ”out”) and is Name(p2, ”out”) and neg p1 = p2 )• RelationstestMit einem Term der Form is SomeRelation( entity, object ) kann getestet werden,ob die Relation SomeRelation zwischen der spezifizierten Entitäten und dem spezifiziertenObjekt besteht. Dabei ist object eine andere Entität (wenn SomeRelation eineAssoziation ist) oder ein Wert (wenn SomeRelation ein Attribut ist). Betrachten wir Beispielefür verschiedene Relationen:Relation ist ein Attribut:exists c:Component. is Name( c, ”Centrale” )Relation ist eine Assoziation:exists comp:Component. exists subComp:Component.is SubComponents( comp, subComp )Wie wir sehen, wird in beiden Fällen wird dieselbe Syntax verwendet.An dieser Stelle muss darauf hingewiesen werden, dass in der ersten ODL-Implementierung Relationenin der Form isSomeRelation( entity, object ) notiert wurden. Im Laufeder Erweiterung des ODL-Auswertungssystems wurde die Notation verändert, sodass nun isund (für Relationsmodifikationen) has selbständige Schlüsselwörter sind, die durch ein Leerzeichenvom Namen der Relation getrennt werden. Folgende ODL-Abfragen stellen Beispielefür die früher benutzte Notation und die aktuelle Notation dar:Frühere Notation: exists c:Component. isName( c, ”Centrale” )Aktuelle Notation: exists c:Component. is Name( c, ”Centrale” )• RelationsmodifikationenNeben der Möglichkeit zu überprüfen, ob eine Relation zwischen zwei Entitäten bzw. einerEntität und einem Wert besteht, wurde die Möglichkeit implementiert, Relationen zu modifizieren.Hierbei muss zwischen der Erstellung einer Relation und dem Löschen einer Relationunterschieden werden – die entsprechenden ODL-Terme lauten: