R805 - modelint/shlaer-mellor-metamodel GitHub Wiki

R805 / Generalization

Instance Flow is a Single Instance Flow or Multiple Instance Flow

---

Certain Actions require that, at most, a single instance reference be supplied. It is therefore helpful to separate out such an Instance Flow.

An Action that performs a selection using an Identifier as input produces an output flow that may not contain more than one instance reference. The definition of a Single Instance Flow associated with such an output reinforces this constraint.