R880 - modelint/shlaer-mellor-metamodel GitHub Wiki

R880 / 1:1c

Many Select yields exactly one Multiple Instance Flow

Multiple Instance Flow is yielded by zero or one Many Select

---

By definition, a Many Select may select any number of instances, including zero. It therefore outputs its result on a Multiple Instance Flow.

Any given Multiple Instance Flow may or may not have a Many Select as its source of input. There are various other ways to generate a set of instance references as input.