Pseudostates

Overview

Pseudostate, unlike State, does not represent stable configuration of State Machine. Pseudostates are used to control the flow of Transitions connecting States.

In general, Pseudostate consist of:

• Name, uniquely identifying Pseudostate within State Machine,
• Parent State, if Pseudostate is a child element of Composite State or Orthogonal State,
• Set of outgoing Transitions.

Types of Pseudostates

There are four types of Pseudostates:

1. Choice that allows to build dynamic Transitions chains, where Transitions are traversed sequentialy and their Guards are evaluated after previous Transition Effect is invoked,
2. Junction that allows to build static Transitions chains, where all Transition Guards are evaluated (and must return true) before any Transition Effect is invoked,
3. Fork that allows to enter multiple States (located in different Regions of Orthogonal State) at once,
4. Join that allows to leave multiple States (located in different Regions of Orthogonal State) at once.