R2002 - modelint/shlaer-mellor-metamodel GitHub Wiki

R2002 / 1:1c

Instance has behavior driven by zero or one Lifecycle State Machine

Lifecycle State Machine drives behavior of exactly one Instance

---

A Lifecycle defines the behavioral pattern of any potential Instance of a Class. A Lifecycle State Machine represents the specific behavior of an individual Instance as it proceeds through the various States and Transitions of that Lifecycle. We can think of each Instance whose Class defines a Lifecycle as having its own little map updating as it navigates the Lifecycle, and that map is, in fact, a Lifecycle State Machine.

Only an Instance whose Class defines a Lifecycle has a Lifecycle State Machine.