Angenommene Spezifikation UML Ocl 2,0 55 Kontext OperationCallExp def: refParams: Sequence(Parameter) = referredOperation.parameters->select (p| p.kind < > ParameterDirectionKind::return oder p.kind < > ParameterDirectionKind::out) PropertyCallExp Keine zusätzlichen Wohlgeformtheitrichtlinien. RealLiteralExp [ 1 ] Die Art eines realen wörtlichen Ausdruckes ist die reale Art. Kontext RealLiteralExp inv: self.type.name = ' real ' StringLiteralExp [ 1 ] Die Art eines Zeichenkettedruckfehlerausdruckes ist die Artzeichenkette. Kontext StringLiteralExp inv: self.type.name = ' Zeichenkette ' TupleLiteralExp [ 1 ] Die Art von einem TupleLiteralExp ist ein TupleType mit den spezifizierten Teilen. Kontext TupleLiteralExp inv: type.oclIsKindOf (TupleType) und tuplePart->forAll (tlep| type.oclAsType (TupleType).allAttributes()->exists (tp|tlep.attribute = tp)) und tuplePart->size() = type.oclAsType (TupleType).allAttributes()->size() [ 2 ] Alle wörtlichen Ausdrucksteile des Tuple von einem wörtlichen Ausdruck des Tuple haben einzigartige Namen. Kontext TupleLiteralExp inv: tuplePart->isUnique (attribute.name) TupleLiteralExpPart [ 1 ] Die Art des Attributes ist die Art des Wertausdruckes. Kontext TupleLiteralExpPart inv: attribute.type = value.type UnspecifiedValueExp Keine zusätzlichen Wohlgeformtheitrichtlinien. VariableDeclaration [ 1 ] Für initialisierte variable Erklärungen muß die Art des initExpression an die Art der erklärten Variable sich anpassen. Kontext VariableDeclaration inv: initExpression->notEmpty() deutet initExpression.type.conformsTo an (Art) VariableExp [ 1 ] Die Art von einem VariableExp ist die Art der Variable, auf der sie verweist.