UML22 — GeneralizationSet - constraints expressed in OCL

GeneralizationSet - constraints expressed in OCL

The constrainst of GeneralizationSet are not expressed in OCL yet. Here are two proposals.

[1] Every Generalization associated with a particular GeneralizationSet must have the same general Classifier. self.generalization->collect(g | g.general)>asSet()>size() <= 1

[2] The Classifier that maps to a GeneralizationSet may neither be a specific nor a general Classifier in any of the Generalization relationships defined for that GeneralizationSet. In other words, a power type may not be an instance of itself nor may its instances be its subclasses.

let gene = self.generalization in gene->collect(g | g.general->union(g.general->collect(c | c.allParents()>union(c.allChildren())))) ->union(gene>collect(g | g.specific->union(g.specific->collect(c | c.allParents()->union(c.allChildren()))))) ->excludes(powertype)

see above