R834 - modelint/shlaer-mellor-metamodel GitHub Wiki

R834 / Generalization

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

---

Any State Activity specifies the behavior occuring in some Real State. But certain non-parameter Flows avaiable to the Activity depend on its type. For example, an assigner activity has no executing instance flow available (self) since it is not defining the behavior of an instance.