Declarative Modeling
modeled transition from one state to another within the state space
2 primary components: states and events
2 classes of mapping to state space:
- element mapping – specify element points in the state space with transitions between point pairs
- set mapping – mapping of patterns (subsets of state space) rather than point elements