论文信息 - Deriving behavior of multi-user processes from interactive requirements validation

Deriving behavior of multi-user processes from interactive requirements validation

In this tool demonstration we present an implementation for interactively validating requirements for multi-user software systems and the processes they support with end users. The tool combines the advantages of requirements animation and scenario synthesis to gather stakeholder feedback and create a common understanding amongst stakeholders. Additionally, the users' behavior during the simulation is captured and used to automatically derive new behavioral specifications.

Holger Giese | Andreas Seibel | Gregor Gabrysiak

[1] Neil A. M. Maiden,et al. Exploring how to use scenarios to discover requirements , 2009, Requirements Engineering.

[2] Steve Easterbrook,et al. Communication Problems in Requirements Engineering: A Field Study , 1996 .

[3] David Harel,et al. Come, let's play - scenario-based programming using LSCs and the play-engine , 2003 .

[4] Holger Giese,et al. Using Ontologies for Flexibly Specifying Multi-User Processes , 2010 .

[5] Jean Vanderdonckt,et al. Goal-Oriented Design of Domain Control Panels , 2005, DSV-IS.

[6] Holger Giese,et al. Interactive Visualization for Elicitation and Validationn of Requirements with Scenario-Based Prototyping , 2009, 2009 Fourth International Workshop on Requirements Engineering Visualization.

[7] Klaus Pohl,et al. The Three Dimensions of Requirements Engineering , 1993, CAiSE.

[8] Andrew Gemino,et al. Empirical comparisons of animation and narration in requirements validation , 2004, Requirements Engineering.

[9] Martin Glinz,et al. A Survey of Simulation Tools for Requirements Engineering , 2000 .

[10] Marsha Chechik,et al. Synthesis of Partial Behavior Models from Properties and Scenarios , 2009, IEEE Transactions on Software Engineering.

[11] Martin Glinz,et al. Evolution of requirements models by simulation , 2004 .