B4.17
Interaction Frameworks and State Transition Models
Cards in this group · 5
- B4.17.1Interaction can be modeled as repeated translation between the user's language and the system's, with loss possible at every step
- B4.17.2State transition diagrams can enumerate a UI's reachable states and illegal transitions
- B4.17.3Combinations of parallel controls explode the state count; exhaustive modeling only works locally
- B4.17.4A mode is one operation yielding different results in different states; mode errors can be located on the state graph
- B4.17.5Unreachable states and dead-end states are defects that the model detects mechanically