Docs for extended state

This commit is contained in:
Janne Valkealahti
2015-08-09 17:15:03 +01:00
parent 04f807f1a7
commit edda97af16
3 changed files with 86 additions and 0 deletions

View File

@@ -73,6 +73,10 @@ A state models a situation during which some invariant condition
holds. State is the main entity of a state machine where state changes
are driven by an events.
*Extended State*::
An extended state is a special set of variables kept in a state
machine to reduce number of needed states.
*Transition*::
A transition is a relationship between a source state and a target
state. It may be part of a compound transition, which takes the state