R940 - modelint/shlaer-mellor-metamodel GitHub Wiki

R940 / 1:Mc

Hop traverses one Relationship

Relationship is traversed by zero, one or many Hop

---

By definition, a Hop specifies the traversal of a single Relationship.

A given Relationship participates in any number of Hops in the same or, typically, different Paths.

Even though every Relationship is hop-able, we only care about those declared as Hops in Paths used in one or more Activities.