R2004 - modelint/shlaer-mellor-metamodel GitHub Wiki

R2004 / Generalization

State Machine is a Lifecycle State Machine, Single Assigner State Machine, or Multiple Assigner State Machine

---

While the mechanics of processing events, triggering State Activities, and managing the current state of a State Machine are universal, each subclass defines a different owner of the State Machine, determining exactly how many instance of State Machine we need in a given Domain.