Active Event - modelint/shlaer-mellor-metamodel GitHub Wiki

A State Machine processes a single Dispatched Event at a time. The one currently being processed, if any at all, is the Active Event.

Identifiers

1. State machine + Domain

Attributes

Response

The Shlaer-Mellor modeling language specifies exactly three possible responses to any Dispatched Event: transition to some state, ignore the event, can't happen.

The response is determined from a state table where we look up the current state and the incoming Dispatched Event. The state table is defined by R505.

Type: Event Response:: [ T | IGN | CH ]