Scene-driven Requirements Engineering

Scenario-based approaches have attracted considerable attention in Requirement Engineering. This thesis presents a powerful methodology for specifying scenario-based requirements of reactive systems, in which behaviors are "played in" directly from the system's GUI or some abstract version thereof, and can then be "played out". A tool supports the method mentioned above is also developed. As the requirements are being played in, the tool automatically generates a formal version in the language of live sequence charts (LSCs). As the requirements are played out, the tool can make the application react according to the universal parts of the specification, and the existential parts can be monitored to check their successful completion. Play-in is a user-friendly advanced method of specifying behavior and play-out is a novel way of working with a fully operational system directly from its inter-object requirements. The ideas appear to be relevant to many stages of system development, including requirements engineering, specifcation, testing, analysis and implementation.