42 Angenommene Spezifikation UML Ocl 2,0 ModelPropertyCallExp Ein ModelPropertyCall Ausdruck ist ein Ausdruck, der auf eine Eigenschaft sich bezieht, die für einen Klassifikator definiert wird im UML Modell, zu dem dieser Ausdruck angebracht wird. Sein Resultatswert ist die Auswertung der entsprechenden Eigenschaft. Im Abschnitt 8,3,2 ("Vorbildliche Ausdrücke PropertyCall") die verschiedenen Unterklassen von ModelPropertyCallExp werden definiert. OclExpression Ein OclExpression ist ein Ausdruck, der in ein gegebenes Klima ausgewertet werden kann. OclExpression ist der Auszug superclass aller weiteren Ausdrücke im metamodel. Es ist das erste Element des OCL-Ausdruckspakets. Jedes OclExpression hat eine Art, die statisch festgestellt werden kann, indem man den Ausdruck und seinen Kontext analysiert. Auswertung von Ausdrucksresultate in einem Wert. Ausdrücke mit Booleschem Resultat können als Begrenzungen verwendet werden, z.B., um ein unveränderliches von a zu spezifizieren Kategorie. Ausdrücke irgendeiner Art können verwendet werden, um Fragen, Initialenattributwerte, Zielsätze, etc. zu spezifizieren. Das Klima von einem OclExpression definiert, auf was vorbildliche Elemente sichtbar sind und in einem Ausdruck beziehen können. Auf dem obersten Niveau wird das Klima durch das ModelElement definiert zu welchen der OCL-Ausdruck angebracht wird, für Beispiel durch einen Klassifikator wenn der OCL-Ausdruck als unveränderliches verwendet wird. Auf einem untereren Niveau kann jeder iteratorausdruck auch stellen Sie eine oder mehr iteratorvariablen in das Klima das Klima wird modelliert nicht als unterschiedliche metaclass vor, weil es mit Ableitung vollständig abgeleitet werden kann, ordnet an. Die kompletten Ableitungrichtlinien können in Kapitel 9 gefunden werden ("Konkrete Syntax"). Verbindungen ? appliedProperty Die Eigenschaft, die am diesem Fall Resultate vom Auswerten von diesem OclExpres- angewendet wird sion . ? Art Die Art des Wertes, der das Resultat des Auswertens des OclExpression ist . ? parentOperation Das OperationCallExp wo dieses OclExpression ist ein Argument von. Siehe Tabelle 9 an Seite 47 . ? initializedVariable Die Variable, von der das Resultat dieses Ausdruckes der Ausgangswert ist. OclMessageExp OclMessageExp wird im Abschnitt definiert 8,3,4 ("AnzeigencAusdrücke"), aber umfaßt in diesem Diagramm für Vollständigkeit. PropertyCallExp Ein PropertyCallExp ist ein Ausdruck, der auf eine Eigenschaft sich bezieht (Betrieb, Attribut, Verbindungsende, bestimmte iterator für vor Ansammlungen). Sein Resultatswert ist die Auswertung der entsprechenden Eigenschaft. Dieses ist abstrakte metaclass. Verbindungen ? Quelle Der Resultatswert des Quellausdruckes ist- der Fall, der den Eigenschaftsanruf durchführt. VariableDeclaration Ein VariableDeclaration erklärt einen variablen Namen und bindet ihn an eine Art. Die Variable in den Ausdrücken verwendet werden kann in denen die Variable ist im Bereich. Dieses stellt metaclass unter anderen den Variablen- Selbst dar und Resultat und die Variablen definiert das Verwenden ließ Ausdruck.