A methodology for scenario-based requirements capture

Scenarios are an intuitive way for software project stakeholders to capture requirements, describe test cases and evaluate software architectures. Typically, however, coming up with a complete scenario specification is difficult. Basic (or nominal) scenarios are easy to write down, but more complex or less common (non-nominal) scenarios are harder to elicit. In particular, there is currently no good way of knowing when enough scenarios have been developed and scenario writing should stop. What is needed is a methodology for developing a scenario specification from an initial set of nominal scenarios, accompanied by metrics for deciding when the specification is complete. We sketch out a preliminary form of such a methodology in this paper.

[1]  Bernd Finkbeiner,et al.  Using Message Sequence Charts for Component-Based Formal Verification , 2001 .

[2]  Ingolf Krüger,et al.  Service specification with MSCs and roles , 2004, IASTED Conf. on Software Engineering.

[3]  David Harel,et al.  LSCs: Breathing Life into Message Sequence Charts , 1999, Formal Methods Syst. Des..

[4]  INGOLF KRÜGER,et al.  From Scenarios to Hierarchical Broadcasting Software Architectures Using UML-RT , 2002, Int. J. Softw. Eng. Knowl. Eng..

[5]  Rajeev Alur,et al.  Inference of message sequence charts , 2000, Proceedings of the 2000 International Conference on Software Engineering. ICSE 2000 the New Millennium.

[6]  Jon Whittle,et al.  From scenarios to code: An air traffic control case study , 2004, Software & Systems Modeling.

[7]  Ingolf Krüger,et al.  Distributed system design with message sequence charts , 2000 .