OR938 - modelint/shlaer-mellor-metamodel GitHub Wiki

OR938 / Ordinal

Hop is traversed before/after

---

A Hop leads from an instance set typed by some Class to an instance set typed by the same or a different Class. Hops are chained together following contiguous Relationships on a Domain’s Class Model. Here we model the traversal sequence from the initial instance set to the final destination within a Path.

Formalization

Hop.Number is ordered sequentially, 1,2,3.. for each Path as Hop.(Path + Domain)