R511 - modelint/shlaer-mellor-metamodel GitHub Wiki

R511 / Generalization

Real State is a Deletion State or Non Deletion State

---

All Real States represent a context where responses to the occurance of Effective Events are defined.

A Deletion State is special in that it may only appear in a Lifecycle State Model.

Non Deletion States may appear in any State Model.