Signature: type_of_result() : Boolean;
Description: The type of the result output pin is the same as the type of the association end.
Expression: self.result.type = self.end.type

Signature: type_of_object() : Boolean;
Description: The type of the object input pin is the association class that owns the association end.
Expression: self.object.type = self.end.association

Signature: property() : Boolean;
Description: The property must be an association end.
Expression: self.end.association.notEmpty()

Signature: multiplicity_of_result() : Boolean;
Description: The multiplicity of the result output pin is 1..1.
The OCL used here is not normative.
Editor's notes: No multiplicity
Expression: self.result.is(1,1)
Original: self.result.multiplicity.is(1,1)

Signature: multiplicity_of_object() : Boolean;
Description: The multiplicity of the object input pin is 1..1.
The OCL used here is not normative.
Editor's notes: No multiplicity
Expression: self.object.is(1,1)
Original: self.object.multiplicity.is(1,1)

Signature: ends_of_association() : Boolean;
Description: The ends of the association must not be static.
The OCL used here is not normative.
Editor's notes: forAll not forall
Expression: self.end.association.memberEnd->forAll(e | not e.isStatic)
Original: self.end.association.memberEnd->forall(e | not e.isStatic)

Signature: association_of_association() : Boolean;
Description: The association of the association end must be an association class.
The OCL used here is not normative.
Editor's notes: association not Association.
Expression: self.end.association.oclIsKindOf(AssociationClass)
Original: self.end.Association.oclIsKindOf(AssociationClass)

Operations:

No additional operations.

Send questions or comments to [email protected].