重庆快乐十分

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

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, evolutionary modeling of behavioral requirements. We start

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

Martin Glinz Christian Seybold1 Silvio Meier

Institut für Informatik

Universität Zürich

重庆快乐十分Binzmühlestrasse 14

CH-8050 Zurich, Switzerland

{glinz | smeier}@ifi。unizh。ch

cseybold@gmx.ch

Abstract: Requirements models for large systems cannot be developed in a single

重庆快乐十分step; they evolve in a sequence of iterations. W e have developed a simulation-

driven process that supports iterative, evolutionary 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 elicit-

ing new, yet unspecified behavior by simulating new scenarios.

1 Introduction

Requirements models under development are typically incomplete and not completely formalized。 In an iterative development process, modeling proceeds by progressively making models more complete and more formal。 This process of model evolution stops when the model has reached the desired degree of formality and completeness (depend-ing on risk, time and budget)。 In order to support such a process, three requirements must be met: we need (i) a modeling language that provides features for modeling intentional partial incompleteness and a variable degree of formality, (ii) a technique for early and frequent model validation, and (iii) guidance for systematically eliciting and evolving models towards more formality and more completeness。

The A DORA language [GBJ02] that has been developed in our research group satisfies the first requirement.

For early model validation, simulation would be a quite appropriate technique both for modelers and stakeholders: they can play with the model’s dynamics by entering stimuli 1 Christian Seybold is now with Zühlke Engineering (Switzerland)

Proceedings Dagstuhl-Workshop Modellbasierte Entwicklung eingebetteter Systeme (MBEES 2007). Informatik-Bericht 2007-01, TU Braunschweig, Germany. 103-112.

Simulation-Driven Creation, Validation and Evolution of Behavioral Requirements Models的相关文档搜索

相关文档
天津体育彩票网 江西快3 海南福彩网 海南福彩中心 贵州快3走势 吉林体彩网 江西快3走势图 海南七星彩 秒速赛车登陆 重庆快乐十分