R928 - modelint/shlaer-mellor-metamodel GitHub Wiki

R928 / 1:M

Path is navigated by one or many Traverse Action

Traverse Action navigates exactly one Path

---

A Traverse Action follows the specified Path to find a set of destination instances.

A Path must be followed by at least one Traverse Action or there is no need to specify it.

The same Path can be followed by multiple Traverse Actions.