UMLR — UML2 issue regarding Redefinition

For practical reasons, we would like to consider certain properties of redefinable elements to be inheritable (or possibly derived from the redefined element).

For example, if one were to redefine a property, then if the type of a redefining property were not explicitly set, it could inherit (or derive) the type from the redefined property. This would save on space in the serialized model and also help keep the model in a consistent state at all times, if for example the type of the redefined property were to change.

Currently, there are constraints mentioning that the Type of the redefining property must be 'consistent' with that of the redefined property, any resolution would have to consider modifying such constraints to take redefinition into account.

Other properties that could be considered inherited would be do/entry/exit actions of a state and, target of a transition amongst others.

I believe this might be a similar argument to issue 12530.