Definition of State Models
Definition of Object States
Pre- and Post Conditions of Scripts define states
Recall that Scripts may be hierarchically defined.
State definitions are typically iteratively derived.
A script with multiple actions associated with a
pre-condition/post-condition pair is decomposed into
several subscripts each of which has an associated pre- and
Definition of State Changing Events
Action sequences in scripts or subscripts define the occurrence of events.
A script selects one of many possible sequences which can can a
transition among a given pre-condition:post-condition pair.
This issue is not covered in this paper but is not important for the use
to which we will put Scenario Analysis.