54 Angenommene Spezifikation UML Ocl 2,0 NumericLiteralExp Keine zusätzlichen Wohlgeformtheitrichtlinien. OclExpression Keine zusätzlichen Wohlgeformtheitrichtlinien. OclMessageArg [ 1 ] Es gibt entweder einen Ausdruck oder einen nicht spezifizierten Wert. Kontext OclMessageArg inv: Ausdruck->size() + nicht spezifiziertes->size() = 1 OclMessageExp [ 1 ] Wenn die Anzeige eine Anruftätigkeit ist, müssen die Argumente an die Parameter des Betriebes sich anpassen. Kontext OclMessageExp inv: calledOperation->notEmpty() deutet an Argumente->forall (a|a.getType().conformsTo (self.calledOperation.operation.parameter - > select(art = ParameterDirectionKind::in) ->at (Argumente->indexOf (a)).type)) [ 2 ] Wenn die Anzeige eine sendentätigkeit ist, müssen die Argumente an die Attribute des Signals sich anpassen. Kontext OclMessageExp inv: sentSignal->notEmpty() deutet an Argumente->forall (a|a.getType().conformsTo (self.sentSignal.signal.feature.oclAsType(StructuralFeature)) ->at (Argumente->indexOf (a)).type)) [ 3 ] Wenn die Anzeige eine Anruftätigkeit ist, muß der Betrieb ein Betrieb der Art des Zielausdruckes sein. Kontext OclMessageExp inv: calledOperation->notEmpty() deutet an target.type.allOperations()->includes(calledOperation.operation) [ 4 ] Eine OCL-Anzeige hat entweder einen benannten Betrieb oder ein gesendetes Signal. Kontext OclMessageExp inv: calledOperation->size() + sentMessage->size() = 1 [ 5 ] Das Ziel einer OCL-Anzeige kann nicht eine Ansammlung sein. Kontext OclMessageExp inv: nicht target.type.oclIsKindOf (CollectionType) OperationCallExp [ 1 ] Alle Argumente müssen an die Parameter des verwiesenen Betriebes sich anpassen Kontext OperationCallExp inv: Argumente->forall (a|a.type.conformsTo (self.refParams->at (Argumente->indexOf (a)).type)) [ 2 ] Es muß so viele Argumente genau geben, der verwiesene Betrieb Parameter hat. Kontext OperationCallExp inv: Argumente->size() = refParams->size() [ 3 ] RefParams eines verzeichnet zusätzliche Attributes alle Parameter des verwiesenen Betriebes ausgenommen die Rückkehr und aus parameter(s).