6 Angenommene Spezifikation UML Ocl 2,0 ? zum Spezifizieren der Art unveränderlich für Stereotypes vor zu beschreibende das ? und der Pfosten bedingt auf Betrieben und Methoden ? zum Beschreiben des Schutzes ? zum Spezifizieren des Ziels (Sätze) für Anzeigen und Tätigkeiten ? zum Spezifizieren von Begrenzungen auf Betrieben das ? zum Spezifizieren der Ableitungrichtlinien für Attribute für jeden möglichen Ausdruck über einem UML modellieren. 7,2 Einleitung 7,2,1 Legende Der Text, der in das gotische Schriftbild des Buchstaben geschrieben wird, wie unten gezeigt ist ein OCL-Ausdruck. ' dieses ist ein OCL-Ausdruck ' Der Kontext Schlüsselwort stellt den Kontext für den Ausdruck vor. Das Schlüsselwort- inv vor und Pfosten bezeichnen Sie die Stereotypes, beziehungsweise "unveränderlich", "Vorbedingung" und "postcondition", der Begrenzung. Der tatsächliche OCL-Ausdruck kommt nachher der Doppelpunkt. Kontext TypeName inv : ' dieses ist ein OCL-Ausdruck mit Stereotype < < unveränderlich > > in Kontext von TypeName ' = ' von einer anderen Zeichenkette ' In den Beispielen werden die Schlüsselwörter von OCL in fette Schrift in diesem Dokument geschrieben. Die fette Schrift hat keine formale Bedeutung, aber wird verwendet, die Ausdrücke lesbarer zu bilden in diesem Dokument. Ocl-Ausdrücke werden mit ASCII-Buchstaben geschrieben nur. Wörter in den Italics innerhalb des Haupttextes der Punkte beziehen Sie sich Teile auf OCL-Ausdrücke. 7,2,2 BeispielcKategoriencDiagramm Das Diagramm folgend wird in den Beispielen in diesem Kapitel benutzt.