R935 - modelint/shlaer-mellor-metamodel GitHub Wiki

R935 / 1:Mc

To Subclass Hop specifies as target one Subclass

Subclass is specified as the target of zero, one or many To Subclass Hop

---

The target of a To Subclass Hop, as the name suggests, is a Subclass within the same Generalization.

Whether or not any given Subclass is the target of any number of of To Subclass Hops depends on usages within any Activities in the modeled Domain.

Constraints

Subclass Hop.(Rnum + Domain) is the same as /R934/R927/Hop.(Rnum + Domain)