How does Statestep compare to other tabular methods?
There are several other tabular methods for specifying behaviour such as SCR and SpecTRM-RL. The principal difference is that each table in such methods describes the behaviour of a small part of the system; the response of the overall system is determined by the composition of the parts, taking into account any dependencies between them. For particular cases, this response can be worked out by the reader or be seen by testing or simulating the model. In contrast, each rule in Statestep shows the response of the whole system at once (or a comparatively large part of it) for some set of cases. This makes for an appreciably simpler notation. Moreover, this is what allows systematic consideration of how the overall system behaves in every possible case. Thus, despite the superficial similarity, Statestep differs from other tabular approaches in much the same way that it differs from formal methods in general (see the previous question).
Related Questions
- How does the Fertility Monitor compare with other methods of fertility control?
- How does waxing compare to other hair removal methods?
- How does waxing compare to other hair removal methods?
- How does Statestep compare to other tabular methods?
- How does Statestep compare to formal methods?
- How does Statestep compare to formal methods?
