Not logged in.
Quick Search - Contribution
Contribution Details
| Type | Conference or Workshop Paper |
| Scope | Discipline-based scholarship |
| Published in Proceedings | Yes |
| Title | Simulation-Driven Creation, Validation and Evolution of Behavioral Requirements Models |
| Organization Unit | |
| Authors |
|
| Presentation Type | paper |
| Item Subtype | Original Work |
| Refereed | Yes |
| Status | Published in final form |
| Language |
|
| Page Range | 103 - 112 |
| Event Title | Proceedings of the Dagstuhl-Workshop Modellbasierte Entwicklung eingebetteter Systeme (MBEES 2007) |
| Event Type | workshop |
| Event Location | Schloss Dagstuhl, Germany |
| Event Start Date | January 15 - 2007 |
| Event End Date | January 18 - 2007 |
| Number | Informatik-Bericht 2007-01 |
| Place of Publication | TU Braunschweig, Germany |
| Abstract Text | 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. |
| PDF File |
Download
|
| Export |
BibTeX
EP3 XML (ZORA)
|