UML14 — UML RTF 1.4 Issue: Duplicate association end names from Constraint.

The Constraint meta-type, in the Extension Mechanisms meta-model, has
two associations with the same association end name on the "opposite"
ends ("constrainedElement"). Assuming that UML meta-classifiers should
adhere to the OCL for regular classifiers, then this is ill-formed
according to OCL 3 of Classifier, p 47:

[3] No opposite AssociationEnds may have the same name within a Classifier.

self.oppositeEnds->forAll ( p, q | p.name = q.name implies p = q )

The same may be true for the Collaboration meta-type (the
"ownedElement" association end is duplicated), but these two are
specializations of an association inherited from ModelElement, so
perhaps that is acceptable.

No Data Available