Ocl Angenommene Spezifikation I Liste der Abbildungen KategoriencDiagrammcBeispiel 7 Rekursive Verbindungskategorien 19 Steuerns Zugänglich machendes Überlaufenes EigenschaftscBeispiel 21 Beispiel 31 OclMessage Abstract syntax Kernmetamodel für OCL-Arten 34 Die grundlegende Struktur des abstract syntax Kernmetamodel für Ausdrücke 40 Abstract syntax metamodel für ModelPropertyCallExp im Ausdruckspaket 44 Abstract syntax metamodel für wenn Ausdruck 46 Die abstract syntax von Ocl-Anzeigen 47 Abstract syntax metamodel für wörtlichen Ausdruck 49 Abstract syntax metamodel für ließ Ausdruck 51 Überblick über das abstract syntax metamodel für Ausdrücke 60 Die Klimaart 62 Überblick über Pakete in der UML-gegründeten Semantik 94 Die Kernwerte im semantischen Gebiet 95 Die Ansammlungs- und Tuplewerte im semantischen Gebiet 96 Die Anzeigenwerte im semantischen Gebiet 98 Der Erbschaftbaum der Kategorien im Wertpaket 102 Das Klima für ocl-Auswertungen 103 Gebietsmodell für ocl-Auswertungen 104 Gebietsmodell für ModelPropertyCallExpEval und Formationsglieder 106 Gebietsmodell für wenn Ausdruck 108 Gebietsmodell für Anzeigenauswertung 109 Gebietsmodell für wörtliche Ausdrücke 110 Gebietsmodell für ließ Ausdruck 111 Der Erbschaftbaum der Kategorien im Auswertungspaket 120 Verbindungen zwischen Werten und den Arten definiert in der abstract syntax. 121 Die Arten definiert in der OCL-Standardbibliothek 132 Metaclass ExpressionInOcl fügte dem UML-metamodel 156 hinzu Situation des Ocl-Ausdruckes verwendet als Definition oder unveränderliche 157 Ein OCL ExpressionInOcl vor verwendet als oder Pfosten-Zustand. 159 Ausdruck verwendete, den inital Wert eines Attributes 161 zu definieren Ein OCL-Ausdruck verwendet als Schutzausdruck 162