UML22 — UML 2 Super / Kernel / invalid restriction in isConsistentWith()

A derived union association end represents a union of all of its subsets. The leaf subsets clearly have to be non-derived. However, in operation Property::isConsistentWith(), defined on page 127 of ptc/-04-10-02, it is stated that a derived property cannot be redefined by a non-derived property. This means that all such subsets of derived unions will be incorrect. Clearly, this restriction should be removed.

Recommendation:

Remove the constraint:

(prop.isDerived implies isDerived)

from the operation Property::isConsistentWith() (on pg. 127)

see below