Scenario analysis has been widely perceived to be able to play two important roles in requirement engineering. Firstly, it is a vehicle of separating concerns in the elicitation of users ' requirements. Secondly, it is a means of validating specified requirements. However, there are a number of key activities in scenario analysis that demand automated tool support to make the method practically applicable. Such activities include: (a) the analysis of consistency and completeness among various scenarios, (b) the analysis of the consistency and completeness of a set of scenarios with respect to requirements models, (c) the synthesis of requirements models from a set of scenarios, and (d) the generation of scenarios from requirements models for requirements validation. In this paper, we present an automatic toolkit that supports these activities. We discuss how the idea of scenario analysis can be adapted to a structured analysis method, how to describe scenarios and how to support scenario analysis activities through automated tools. We also report some case studies with the toolkit.
|
751
|
Object-Oriented Software Engineering: A Use Case Driven Approach
– Jacobson
- 1993
|
|
631
|
The Unified Modeling Language, Reference Manual
– Rumbaugh, Jacobson, et al.
- 1999
|
|
232
|
A framework for expressing the relationships between multiple views in requirements specification
– Nuseibeh, Kramer, et al.
- 1994
|
|
215
|
Modern Structured Analysis
– Yourdon
- 1989
|
|
161
|
Inconsistency Handling In MultiPerspective Specifications
– Finkelstein, Gabbay, et al.
- 1994
|
|
149
|
Software unit test coverage and adequacy
– Zhu, Hall, et al.
- 1997
|
|
134
|
Inquiry-based requirements analysis
– Potts, Takahashi, et al.
- 1994
|
|
89
|
Formal Approach to Scenario Analysis
– Hsia
- 1994
|
|
76
|
The Z notation: a reference manual (Second Edition
– Spivey
- 1992
|
|
70
|
Managing inconsistent specifications: Reasoning, analysis and action
– Hunter, Nuseibeh
- 1998
|
|
42
|
Improving the Use Case Driven Approach to Requirements Engineering
– Regnell, Kimbler, et al.
- 1995
|
|
39
|
Theories Underlying Requirements Engineering: an overview of NATURE at Genesis
– Jarke, Bubenko, et al.
- 1993
|
|
34
|
Requirements Elicitation and Validation with Real World Scenes
– Haumer, Pohl, et al.
- 1998
|
|
25
|
Scenario usage in system development: A report on current practice
– Weidenhaupt, Pohl, et al.
- 1998
|
|
25
|
Enhancing a Requirements Baseline with Scenarios
– Leite, Rossi, et al.
- 1997
|
|
23
|
Object behaviour analysis
– Rubin, Goldberg
- 1992
|
|
23
|
Using Scenarios in Deficiency-driven Requirements Engineering
– Anderson, Durney
- 1993
|
|
22
|
Domain Modeling with Hierarchies of Alternative Viewpoints
– Easterbrook
- 1993
|
|
21
|
Scenarios - an Industrial Case Study and Hypermedia Enhancements
– Gough, Fodemski, et al.
- 1995
|
|
18
|
Requirements Engineering in 2001: (Virtually) Managing a Changing Reality
– Jarke, Pohl
- 1994
|
|
17
|
Stakeholder Viewpoints in Requirements Definition: A Framework for Understanding Viewpoint Development Approaches
– Darke, Shanks
- 1996
|
|
15
|
Object oriented development in an industrial environment
– Jacobson
- 1987
|
|
14
|
Supporting Multi-Perspective Requirements Engineering
– Robinson, Fickas
- 1994
|
|
12
|
M.: "Requirements Engineering in Small and Medium Enterprises: State-of-the-Practice
– Kamsties, Hörmann, et al.
- 1998
|
|
10
|
Decentralised Process Modelling in a Multi-Perspective Development Environment
– Leonhardt, Finkelstein, et al.
- 1995
|
|
8
|
A Use Case Driven Requirements Engineering Process
– Dano, Briand, et al.
- 1997
|
|
5
|
Requirements analysis
– Stokes
- 1993
|
|
5
|
H.: Automatic Generation of Formal Specification from Requirements Definition
– Jin, Zhu
- 1997
|
|
5
|
L.: Scenario Analysis in an Automated Tool for Requirements Engineering
– Zhu, Jin
- 2000
|
|
3
|
Specifications in software prototyping
– Luqi, K, et al.
- 1998
|
|
3
|
A generalised mathematical theory of structured programming
– Fenton, Whitty, et al.
- 1985
|
|
2
|
From requirements definition to formal functional specification -- A transformational approach
– Xu, Zhu
- 1995
|
|
2
|
Requirements analysis and specification as a problem of software automation -- some researches on requirements analysis
– Xu, Zhu
- 1996
|
|
2
|
Tool support of orderly transition from informal to formal descriptions in requirements engineering
– Xu, Jin, et al.
- 1996
|
|
2
|
Software Tool and Method for Scenario Generation and Use
– Maiden, Minocha, et al.
- 1997
|
|
2
|
Description and analysis of use scenarios in requirements engineering
– Jin, Zhu
- 1998
|
|
2
|
Activity List as A Description of Software Behaviour for Requirements Validation
– Zhu, Jin, et al.
- 1999
|
|
1
|
View-directed requirements engineering -- a framework and metamodel
– Motschnig-Pitric, W, et al.
- 1997
|
|
1
|
Testing Software Requirements via Task Analysis
– Zhu, Jin, et al.
- 1999
|
