Model elements
The map defines objects, parent objects, roles, states, transitions, rules, events, evidence and actions.
A role may act on an object only in permitted states. Every transition records its trigger and consequence, and history remains inspectable.