Angenommene Spezifikation UML Ocl 2,0 13 Tabelle 5 stellt Beispiele der gültigen und unzulässigen Ausdrücke zur Verfügung. 7,4,6 Neutippen oder Werfen Unter einigen Umständen ist es wünschenswert, eine Eigenschaft eines Gegenstandes zu benutzen, der auf einem Formationsglied der gegenwärtigen bekannten Art definiert wird vom Gegenstand. Weil die Eigenschaft nicht auf der gegenwärtigen bekannten Art definiert wird, ergibt diese eine Artübereinstimmungstörung. Wenn es sicher ist, daß die tatsächliche Art des Gegenstandes das Formationsglied ist, kann der Gegenstand mit dem Betrieb neu getippt werden oclAsType(OclType) . Dieser Betrieb ergibt den gleichen Gegenstand, aber die bekannte Art ist das Argument OclType . Wenn dort ist ein Gegenstand- Gegenstand von der Art Type1 und Type2 ist eine andere Art, es wird gewährt, um zu schreiben: object.oclAsType(Type2) --- wertet aus, um mit Art Type2 einzuwenden Ein Gegenstand kann bis eins seiner Formationsglieder nur neu getippt werden; folglich im Beispiel, Type2 sein muß ein Formationsglied von Type1 . Wenn die tatsächliche Art des Gegenstandes nicht ein Formationsglied der Art ist, zu der es neu getippt wird, undefined der Ausdruck (sehen Sie ("Undefined Werte")) . 7,4,7 VorausgehencRichtlinien Der Vorausgehenauftrag für die Betriebe, beginnend mit höchstem Vorausgehen, in OCL ist: ?- @pre ?- Punkt- und -pfeilbetriebe: '.', und ' - > ' ? einheitlich ' nicht ' und einheitlich minus ' - ' ? ' * ' und '/' ? ' + ' und binär ' - ' ? ' wenn-dann-sonst-endif ' ? ' < ', ' > ', '<=', ' > = ' ? ' = ', ' < > ' ? ' und ', ' oder ' und ' xor ' ? ' deutete an Klammern ' (' und ') ' können verwendet werden, um Vorausgehen zu ändern. Tabelle 5 - Gültige Ausdrücke Ocl-Ausdruck gültig Erklärung 1 + 2 * 34 ja 1 + ' Motorrad ' nein schreiben Sie Zeichenkette sich anpaßt nicht an Art Ganzzahl 23 * falsch nein schreiben Sie Boolesches sich anpaßt nicht an Ganzzahl 12 + 13,5 ja