Functional documents for computer systems
Science of Computer Programming
IEEE Transactions on Software Engineering - Special issue on formal methods in software practice
Concurrency: state models & Java programs
Concurrency: state models & Java programs
Generating statechart designs from scenarios
Proceedings of the 22nd international conference on Software engineering
On the criteria to be used in decomposing systems into modules
Communications of the ACM
Object-oriented modeling with ADORA
Information Systems - The 13th international conference on advanced information systems engineering (CAiSE*01)
An Integrated Formal Model of Scenarios Based on Statecharts
Proceedings of the 5th European Software Engineering Conference
Come, Let's Play: Scenario-Based Programming Using LSC's and the Play-Engine
Come, Let's Play: Scenario-Based Programming Using LSC's and the Play-Engine
Evolution of Requirements Models by Simulation
IWPSE '04 Proceedings of the Principles of Software Evolution, 7th International Workshop
Principles of Program Design
Simulation-based Validation and Defect Localization for Evolving, Semi-Formal Requirements Models
APSEC '05 Proceedings of the 12th Asia-Pacific Software Engineering Conference
A language for advanced protocol analysis in automotive networks
Proceedings of the 30th international conference on Software engineering
Towards Simulation-Based Quality Requirements Elicitation: A Position Paper
REFSQ '08 Proceedings of the 14th international conference on Requirements Engineering: Foundation for Software Quality
Synthesis of Petri Nets from Scenarios with VipTool
PETRI NETS '08 Proceedings of the 29th international conference on Applications and Theory of Petri Nets
REV '09 Proceedings of the 2009 Fourth International Workshop on Requirements Engineering Visualization
ECSA'10 Proceedings of the 4th European conference on Software architecture
An approach to test-driven development of conceptual schemas
Data & Knowledge Engineering
Hi-index | 0.00 |
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 focus on two elements of our approach: firstly, we describe the syntax and semantics of our scenario language. Secondly, we give an example how our modeling process works.