Angenommene Spezifikation UML Ocl 2,0 41 Ein ModelPropertyCallExp generalisiert alle propertycalls, die auf Eigenschaften sich beziehen oder Verbindungen oder AssociationEnds in das UML-metamodel. In Tabelle 9 auf Seite 47 die verschiedenen Formationsglieder von ModelPropertyCallExp werden definiert. Die meisten des Restes des Ausdruckspakets besteht aus einer Spezifikation der unterschiedlichen Unterklassen von PropertyCallExp und ihre spezifische Struktur. Vom metamodel kann es abgeleitet werden, daß ein OCL-Ausdruck immer beginnt mit einem variablem oder ein wörtlich, auf dem eine Eigenschaft recusively angewendet wird. IfExp Ein IfExp wird in Abschnitt 8,3,3 ("wenn Ausdrücke") definiert, aber umfaßt in diesem Diagramm für Vollständigkeit. IterateExp Ein IterateExp ist ein Ausdruck, der seinen Körper auswertet Ausdruck für jedes Element einer Ansammlung. Sie dient als eine Schleife konstruieren Sie, das über den Elementen seiner Quelle wiederholt Ansammlung und Resultate in einem Wert. Ein wiederholenausdruck wertet sein aus Körper Ausdruck für jedes Element von seinem Quelle Ansammlung. Der ausgewertete Wert von Körper Ausdruck in jeder Wiederholung Schritt wird der neue Wert für das Resultat Variable für den succeding Wiederholung-Schritt. Das Resultat kann von irgendeiner Art sein und ist definiert durch das Resultat Verbindung. Das IterateExp ist der grundlegendste Ansammlungsausdruck, der im OCL definiert wird Ausdruckspaket. Verbindungen ? Resultat Das VariableDeclaration das stellt die Resultatsvariable dar. IteratorExp Ein IteratorExp ist ein Ausdruck, der seinen Körper auswertet Ausdruck für jedes Element einer Ansammlung. Sie dient als eine Schleife konstruieren Sie, das über den Elementen seiner Quelle wiederholt Ansammlung und Resultate in einem Wert. Die Art des iteratorausdruckes hängt vom Namen des Ausdruckes und manchmal von der Art der dazugehörigen Quelle ab Ausdruck. Das IteratorExp stellt alle weiteren vorbestimmten Ansammlungsbetriebe dar, die ein iterator verwenden. Dieses schließt auserwähltes, sammeln, zurückweisen, forAll, besteht mit ein, usw.. Die OCL-Standardbibliothek definiert eine Anzahl von vorbestimmten iteratorausdrücken. Ihre Semantik wird in den Bezeichnungen definiert vom wiederholenausdruck innen, sehen Sie Abschnitt 11,8, "vorbestimmte Ausdrücke Iterator," auf Seite 149 . LiteralExp Ein LiteralExp ist ein Ausdruck ohne Argumente, einen Wert produzierend. Im allgemeinen ist der Resultatswert mit identisch Ausdruckssymbol. Dieses umfaßt Sachen wie die Ganzzahl 1 oder wörtliche Zeichenketten, wie ' dieses ein LiteralExp ist '. LoopExp Ein LoopExp ist ein Ausdruck, der respresent ein Schleifenkonstruieren über einer Ansammlung. Er hat eine iteratorvariable, die darstellt die Elemente der Ansammlung während der Wiederholung. Der Körperausdruck wird für jedes Element in der Ansammlung ausgewertet. Resultat eines Schleifenausdruckes hängt vom spezifischen freundlichen und von seinem Namen ab. Verbindungen ? iterators Das VariableDeclarations das stellt die iteratorvariablen dar. Diese Variablen sind, jedes in seiner Umdrehung, Grenze zu jedem Elementwert der Quelle Ansammlung beim Auswerten der Körper Ausdruck. ? Körper Das OclExpression das wird für jedes Element in der Quellansammlung ausgewertet.