Angenommene Spezifikation UML Ocl 2,0 103 Betriebsdurchführung fügt dem Klima eines OCL-Ausdruckes hinzu, den das Namens' Resultat ' zu einem bestimmten Wert springen. Im Auftrag nicht zu werden verwirrte in einer Mischung von Bezeichnungen, die Bezeichnungs- Auswertung wird im folgenden verwendet, beide zu bezeichnen der ' normale ' OCL Auswertungen und die Durchführungen des Betriebes benennen Ausdrücke. In Abschnitten 10,3,2 ("vorbildliche Auswertungen PropertyCall") bis 10,3,6 ("lassen Sie Ausdrücke") spezielle Unterklassen von OclExpEval wird definiert. 10,3,1 Definitionen der Konzepte für das Auswertungspaket Der Abschnitt verzeichnet die Definitionen von Konzepten im Auswertungspaket in alphabetischer Reihenfolge. EvalEnvironment Ein EvalEnvironment ist ein Satz von NameValueBindings, das das Klima bilden, in dem ein OCL-Ausdruck ausgewertet wird. Ein EvalEnvironment hat drei Betriebe, die im Abschnitt definiert werden ("zusätzliche Betriebe von den Auswertungen Paket") . Verbindungen ? Schwergängigkeiten Das NameValueBindings das sind die Elemente dieses Namensraumes. IterateExpEval Ein IterateExpEval ist eine Ausdrucksauswertung, die seinen Körper auswertet Ausdruck für jedes Element einer Ansammlung Wert und sammelt einen Wert in einem Resultat an variabel. Er wertet ein IterateExp aus. IteratorExpEval Ein IteratorExp ist eine Ausdrucksauswertung, die seinen Körper auswertet Ausdruck für jedes Element einer Ansammlung. Tabelle 19 - Das Klima für ocl-Auswertungen DomainElement NameValueBinding OclExpEval ExpressionInOclEval +context 0,,1 1 EvalEnvironment +bindings 0..n 1 +environment 1 1 +beforeEnvironment 0,,1 +environment 1