R2007 - modelint/shlaer-mellor-metamodel GitHub Wiki

R2007 / 1:Mc

Multiple Assigner State Machine drives the behavior of exactly one Multiple Assigner

Multiple Assigner has behavior driven by zero, one or many Multiple Assigner State Machine]

---

Each partitioning Instance of a Multiple Assigner requires a separate Multiple Assigner State Machine.

If none of the partitioning Instances is populated, there is no competition to manage and thus no Multiple Assigner State Machine.

Also, if the metamodel is populated without populating the Execution Subsystem, no State Machines will be required.