UML22 — Property ownership must be consistent across association redefinitions

When an association generalizes another association and redefines its ends, the redefined end must be accessible through the generalization. This means redefining and redefined properties must be ownedEnds of the association or ownedAttributes of the participating classes. Redefining ownership (either directly or indirectly by changing navigability with default ownership) resulting in the redefined property no longer being a member of the general class should not be allowed. UML2 needs to include a constraint capturing this rule

Discussion
This is already covered by RedefinableElement::isRedefinitionContextValid() and
RedefinableElement::redefinition_consistent.
Disposition: Closed - No Change