R2005 - modelint/shlaer-mellor-metamodel GitHub Wiki

R2005 / 1:Mc

State Machine is in exactly one Real State

Real State is the current state of exactly one State Machine

---

By definition, a State Machine is always in some Real State.

If an Instance is created dynamically, it is placed in some Real State upon creation. And when an Instance is created upon system initialization, it too is placed in some Real State. That's why we call them real. If you are wondering about initial and final pseudo states, remember that they are UML diagram notations, to mark a starting and ending point on a state machine diagram.

Similarly, when a dynamic instance is deleted, it first enters some Deletion State (which is a Real State), executes the Activity in that State and then is deleted. In the case of synchronous deletion, (remote deletion from some Delete Action), if that instance has a Lifecycle, it will be in some Real State at the time of deletion.

The same Real State can be current for multiple Instances assuming they all share the same Lifecycle or parition the same Multiple Assigner.