R1203 - modelint/shlaer-mellor-metamodel GitHub Wiki

R1203 / 1:1c

Instance Set Action outputs exactly one Instance Flow

Instance Flow is output by zero or one Instance Set Action

---

Each set operation is defined to output a single Instance Flow with the result of the operation.

Any given Instance Flow may or may not be the output of an Instance Set Action.