58 Angenommene Spezifikation UML Ocl 2,0 Kontext State::getStateMachine(): StateMachine Pfosten: Resultat = wenn statemachine->notEmpty() dann stateMachine sonst -- sein muß ein Teil eines zusammengesetzten Zustandes state.container.getStateMachine() endif Übergang Das BetriebsgetStateMachine() bringt das statemachine zurück, dem ein Übergang gehört. Kontext Transition::getStateMachine(): StateMachine Pfosten: Resultat = wenn statemachine->notEmpty() dann stateMachine sonst -- Zustand ist nicht leer state.getStateMachine() endif 8,3,9 Zusätzliche Betriebe auf OCL-metaclasses In den Kapiteln "abstract syntax," "konkrete Syntax," "der Gebrauch von Ocl-Ausdrücken in den UML-Modellen," und Anhang "die Semantik, die mit UML" viele zusätzliche Betriebe auf OCL-metaclasses beschrieben wird, werden verwendet. Sie werden diesbezüglich definiert Abschnitt. Der vorhergehende Abschnitt definiert zusätzliche Betriebe für die UML-metaclasses OclExpression Der folgende Betrieb bringt einen Betriebsanrufausdruck für das vorbestimmte atPre() zurück Betrieb mit dem Selbstausdruck als seine Quelle. OclExpression::withAtPre(): OperationCallExp Pfosten: result.name = ' atPre ' Pfosten: result.arguments->isEmpty() Pfosten: result.source = Selbst Der folgende Betrieb bringt einen Betriebsanrufausdruck für das vorbestimmte asSet() zurück Betrieb mit dem Selbstausdruck als seine Quelle. OclExpression::withAsSet(): OperationCallExp Pfosten: result.name = ' Wert ' Pfosten: result.arguments->isEmpty() Pfosten: result.source = Selbst O- clMessageArg Ein zusätzlicher Betrieb wird oclMessageArg hinzugefügt, um die Art des Arguments zurückzubringen. Kontext OclMessageArg def: getType(): Klassifikator =, wenn nicht spezifiziert->notEmpty() dann unspecified.type sonst expression.type endif