Concepts

This part of the documentation presents the concepts from the state machine theory that Maki implements.

For each concept is given (where relevant):

• what: a general definition;
• why/when: the reasons why you might want to use it and when to use it;
• how: the interface that Maki offers to use it.

The concepts are the following:

• State Machine
• Event
• State
• Action
• Guard
• Run-to-Completion
• Composite State
• Region
• Transitions
• Pseudostates

Note

The state machine theory explained in this documentation is the "Behavior StateMachines" section of the UML specification, version 2.5.1.