stateswhat
Stateswhat is a theoretical modeling construct used in the study of stateful systems. It combines elements of finite-state representations with an explicit notion of the content carried by each state. The term stateswhat signals the idea that a state is not only a position in a machine but a snapshot of observable attributes that define the current situation.
A stateswhat model comprises a set of states S, a set of events or stimuli E, a
In practice, the labeling L allows observers to query not only the active state but also its
Examples frequently cited include simple control loops, human–in–the–loop systems, and IoT workflows, where the same active
Open questions in the field concern expressive power, tractability of verification, and standardization of the labeling