R813 - modelint/shlaer-mellor-metamodel GitHub Wiki

R813 / 1:1c

Class Accessor outputs exactly one Multiple Instance Flow

Multiple Instance Flow is output by zero or one Class Accessor

---

By definition, a Class Accessor outputs a set of instance references to the entire population of a Class via one Multiple Instance Flow. Since any population (zero, one or many) is possible there is no single instance constraint prior to further selection.

A given Multiple Instance Flow may or may not be the output of a Class Accessor.