Interactive Specification Acquisition via Scenarios: A Proposal

Some systems, such as telephone switches and other control systems, seem to be most naturally specified informally by giving a set of behavior scenarios, consisting of interleavened sequences of applied stimuli and verified system responses.For example, in the domain of telephone switches, one such scenario might be: *(Stimulus) Activate Call Forwarding from Station Y to Station Z. *(Response) Verify that Y receives a confirmation tone. *(Stimulus) Place a call from X to Y. *(Response) Verify that the call is forwarded to Z.