14.3.2. States associated with resource creation and deletion

Each context or role has at least one type. The modeller may add Aspects to a type, thereby adding more types. When a resource is created, it immediately afterwards enters the root state associated with each type.

A type’s root state may be filled in by embedding an on entry or on exit clause directly in its body:

thing SomeRole
  on entry
    notify SomeUser
      “An instance of SomeRole has been created!”

In contrast, when a resource is deleted, it first leaves all states it is in (its active states). Only then is it actually removed. More on this topic below.