R506 - modelint/shlaer-mellor-metamodel GitHub Wiki

R506 / Generalization

Event Response is a Transition or Non Transition

---

Shlaer-Mellor specifies three possible responses to an Event. These are:

• Take a Transition
• Ignore the Event — remain in the current State
• Can’t Happen — raise an exception and defer to the MX (model execution) domain

In all cases, the Event occurrence is discarded. The 'Take a Transition' response is factored out as a Transition since it has a relationship with a target State.