R930 - modelint/shlaer-mellor-metamodel GitHub Wiki

R930 / 1:1c

Instance Flow yields destination instances of zero or one Traverse Action

Traverse Action navigates to instances in exactly one Instance Flow

---

A Traverse Action obtains a set of instances related across the specified Path to a set of source instances that materialize in an outgoing Instacne Flow. These are the destination instances.

A given Instance Flow may or may not carry the results of a Traverse Action.

Constraint 1: Destination flow

The Deestination flow cannot be the same as the Source flow.

Destination flow != Source flow

Constraint 2: Destination flow

The class of the destination flow must match the destination Class designated on R925.

/R930/Instance flow.Class == /R928/Path.Dest class