Angenommene Spezifikation UML Ocl 2,0 59 TupleType Ein zusätzlicher Kategorienbetrieb wird Tuple hinzugefügt, um einen neuen Tuple zurückzubringen. Der Name eines tupletype wird im Auszug definiert Syntaxkapitel und braucht nicht, hier spezifiziert zu werden. Kontext TupleType::make(atts: sequence(Attribute)): TupleType Pfosten: result.features = atts Pfosten: result.stereotype.name = ' OclHelper ' VariableDeclaration Ein zusätzlicher Betrieb wird VariableDeclaration hinzugefügt, um einen entsprechenden Parameter zurückzubringen. Kontext VariableDeclaration::asParameter(): Parameter Pfosten: result.name = self.varName Pfosten: result.kind = ParameterKind::in Pfosten: result.type = self.type Ein zusätzlicher Betrieb wird VariableDeclaration hinzugefügt, um ein entsprechendes Attribut zurückzubringen. Kontext VariableDeclaration::asAttribute(): Attribut Pfosten: result.name = self.varName Pfosten: result.type = self.type Pfosten: result.multiplicity = 1 Pfosten: result.targetscope = ScopeKind::instance Pfosten: result.ownerscope = ScopeKind::instance Pfosten: result.ordering = OrderingKind::unordered Pfosten: result.visibility = VisibilityKind::private Pfosten: result.constraint.bodyExpression = self.initExpression Pfosten: result.stereotype.name = ' OclHelper '