Scenario Analysis in an Automated Tool for Requirements Engineering |
| |
Authors: | Hong Zhu Lingzi Jin |
| |
Affiliation: | (1) School of Computing and Mathematical Sciences, Oxford Brookes University, Oxford, UK, GB;(2) Cherwell Scientific Ltd, Oxford, UK, GB |
| |
Abstract: | This paper presents an automated tool for scenario-driven requirements engineering where scenario analysis plays the central
role. It is shown that a scenario can be described by three views of data flow, entity relationship and state transition models
by slight extensions of classic data flow, entity relationship and state transition diagrams. The notions of consistency and
completeness of a set of scenarios are formally defined in graph theory terminology and automatically checked by the tool.
The tool supports automatic validation of requirements definitions by analysing the consistency between a set of scenarios
and requirements models. It also supports automatic synthesis of requirements models from a set of scenarios. Its utility
and usefulness are demonstrated by a non-trivial example in the paper. Case studies of the tools are also presented. |
| |
Keywords: | :Automated tool – Completeness – Consistency – Requirements engineering – Requirements model synthesis – Scenario analysis |
本文献已被 SpringerLink 等数据库收录! |
|