R859 - modelint/shlaer-mellor-metamodel GitHub Wiki

R859 / 1c:Mc

Signal Assigner Action partitions multiple assigner with zero or one Single Instance Flow

Single Instance Flow determines destination for zero, one or many Signal Assigner Action

---

If the destination assigner consists of multiple state machines, one per partitioning instance, we need to know which instance to use. Thus the need for the Single Instance Flow.

A given Single Instance Flow can be used for many purposes, not necessarily as an assigner partition.

It is uncommon, but the same Single Instance Flow could branch off and supply the same partitioning instance to more than one Signal Assigner Action within the same Activity.