Description of a state machine

Contents

The description of a state machine contains:

· the redefinition of the state machine (a sentence containing the name of the parent state machine and its class is generated when the state machine is a redefined state machine)

· "description" notes

· the list of tagged values

· stereotypes

· the list of constraints

· the list of states (with their "description" notes)

· the list of transitions (with their "description" notes)

· state diagrams (with their "description" notes)

Generating states

All the state machine's states are displayed in the form of a bulleted list.

The title contains the name of the parent state, the "::" character, followed by the state name.

The name of the parent state is constructed in the same way, that is, the name of the parent state, the "::" character and the name of the state.

The state's "description" notes are inserted.

Generating transitions

All the state machine's transitions are displayed in the form of bulleted lists.

The title contains the name of the origin state and the name of the destination state.

The transition's "description" notes are inserted.

Generating state diagrams

All diagrams defined on the state machine are displayed with their "description" notes.

Figure 29. Example of generating a state machine