Sciweavers

Share
SCESM
2006
ACM

Scenario-driven modeling and validation of requirements models

10 years 4 months ago
Scenario-driven modeling and validation of requirements models
Requirements models for large systems typically cannot be developed in a single step, but evolve in a sequence of iterations. We have developed such an iterative modeling process which is based on the interactive simulation of yet incomplete and semi-formal models. Missing parts are completed interactively by the user simulating the model. We start by modeling type scenarios (i.e. use cases) and simulate these interactively before having specified any system behavior. Such simulation runs yield exemplary system behavior in form of message sequence charts (MSCs). The modeler can then generalize this recorded partial behavior into statecharts. The resulting model is simulated again, (i) for validating that the modeled behavior matches the previously recorded behavior, and (ii) for recording new yet unspecified behavior in a next iteration step. Thus, recording MSCs by playing-through the scenarios and transforming MSCs to statecharts stimulate and drive each other. In this paper we fo...
Christian Seybold, Silvio Meier, Martin Glinz
Added 14 Jun 2010
Updated 14 Jun 2010
Type Conference
Year 2006
Where SCESM
Authors Christian Seybold, Silvio Meier, Martin Glinz
Comments (0)
books