pax

Abstract: Requirements models for large systems cannot be developed in a single step; they evolve in a sequence of iterations. We have developed a simulationdriven process that supports iterative, volutionary modeling of behavioral requirements. We start with modeling type scenarios (i.e. use cases) and simulate these interactively. The simulation runs yield exemplary system behavior, which is documented in message sequence charts (MSCs). The modeler can then generalize this recorded partial behavior into statecharts. The resulting model is simulated again for validating that the modeled behavior matches the previously recorded behavior. The validated model is then used in the next incremental step for eliciting new, yet unspecified behavior by simulating new scenarios.

Simulation-Driven Creation, Validation and Evolution of Beh...

Simulation-Driven Creation, Validation and Evolution of Behavioral Requirements Models

actions