R2003 - modelint/shlaer-mellor-metamodel GitHub Wiki

R2003 / 1:Mc

Multiple Assigner State Machine assigns within partition of exactly one Instance

Instance is assignment partition for zero, one or many Multiple Assigner State Machine

---

A Multiple Assigner manages competition on an Association separately for multiple Instances on a designated partition R518.

So even though the Multiple Assigner is managing an Association, it requires a separate State Machine for each partitioning Instance.

So the same Instance could have its own Lifecycle State Machine and at the same time be involved as a partition in any number of Multiple Assigner State Machines.