State Transition Specifications
Explicitly describes system behavior by a set of states and defines operations as transitions between states or observations on state
Specification includes
- states: possible values
- transitions: semantics by state transformations and observations
Pros and Cons
- free of representational details (except augmentations)
- state explosion is common
- extensions to minimize states and modularize
- particularly applicable to control systems, languages, hardware
Graphical as well as textual notations: StateCharts, ASLAN, Paisley,InaJo, Special