Angenommene Spezifikation UML Ocl 2,0 11 Ansammlung, Satz, Beutel, Reihenfolge und Tuple sind grundlegende Arten außerdem. Ihre Besonderen werden in upcoming beschrieben Abschnitte. 7,4,1 Arten vom UML-Modell Jeder OCL-Ausdruck wird in den Kontext eines UML-Modells, eine Anzahl von Klassifikatoren (types/classes...), ihre Eigenschaften geschrieben und Verbindungen und ihre Verallgemeinerungen. Alle Klassifikatoren vom UML-Modell sind eintippt die OCL-Ausdrücke, die sind angebracht zum Modell. 7,4,2 AufzählungcArten Aufzählungen sind Datatypes in UML und haben einen Namen, gerade wie jeder möglicher andere Klassifikator. Eine Aufzählung definiert eine Zahl von Aufzählungdruckfehler, der sind die möglichen Werte der Aufzählung. Innerhalb OCL kann man auf den Wert von sich beziehen Aufzählung. Wenn wir Datatype genanntes Gender im Beispielmodell mit Werten ' Frau ' oder ' Mann ' haben, können sie benutzt werden wie folgt: Kontextpersoninv: Geschlecht = Gender::male 7,4,3 Lassen Sie Ausdrücke Manchmal wird ein Vor-Ausdruck mehr als einmal in einer Begrenzung verwendet. Lassen Sie Ausdruck läßt ein eine Variable definieren welches in der Begrenzung verwendet werden kann. Kontext Person inv : gelassen worden Einkommen: Ganzzahl = self.job.salary->sum() in wenn isUnemployed dann Einkommen < 100 sonst Einkommen > = 100 endif Lassen Sie Ausdruck kann in irgendeiner Art OCL-Ausdruck umfaßt werden. Es bekannt nur innerhalb dieses spezifischen Ausdruckes. 7,4,4 Zusätzliches operations/attributes durch "Definitions" Ausdrücke Lassen Sie Ausdruck erlaubt, daß eine Variable in einem Ocl-Ausdruck verwendet wird. Wiederverwendung von variables/operations rüber ermöglichen mehrfache OCL-Ausdrücke man können eine Begrenzung mit der stereotypen "Definition" verwenden, in der Helfer variables/operations werden definiert. Diese "Definitions" Begrenzung muß zu einem Klassifikator angebracht werden und kann Variable und/oder Betrieb nur enthalten Definitionen, nichts sonst. Alle Variablen und Betriebe, die in der "Definitions" Begrenzung definiert werden, bekannt im gleichen Kontext wie, wo jede mögliche Eigenschaft des Klassifikators benutzt werden kann. Solche Variablen und Betriebe sind Attribute und Betriebe mit Stereotype "OclHelper" des Klassifikators. Sie werden in einem OCL-Ausdruck genau in der gleichen Weise wie Normal benutzt Attribute oder Betriebe werden verwendet. Die Syntax der Attribut- oder Betriebsdefinitionen ist ließ Ausdruck, aber ähnlich jede Attribut- und Betriebsdefinition wird mit dem Schlüsselwort ' def ' vorgesetzt, wie unten gezeigt. Boolesch und oder, xor nicht deutet an, wenn-dann-sonst Zeichenkette concat(), size(), substring() Tabelle 3 - Betriebe auf vorbestimmten Arten Art Betriebe