UML22 — AssociationClass Constraint [1] should be reformulated

Constraint [1] should be reformulated as:

self.endType->excludes(self) and self.endType->collect(c | c.allParents ())>excludes(self) and self.endType>collect(c | c.allChildren())->excludes(self)

This uses the a query "allChildren" which is not yet defined on Classifier. The following to additional queries should be added to the section "Additional Operations" on page 62:

[9] children gives the direct specialisations of this classifier

context Classifier::children():Set(Classifier) result = generalization.specific

[9] allChildren gives all the directly and indirectly specialized classifiers context Classifier::allChildren():Set(Classifier) result = children->union(children->collect(c | c.allChildren))

see above