StateCharts
An extension of conventional FSMs
Conventional FSMs are inappropriate for the behavioral description of complex control
- flat and unstructured
- inherently sequential in nature
- give rise to an exponential blow-up in the number of states (small system extensions cause unacceptable growth in the number of states to be considered)
StateCharts supports repeated decomposition of states into sub-states in an AND/OR fashion, combined with a synchronous (instantaneous broadcast) communication mechanism