loading...
 This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
Principles of Software Evolution, 7th International Workshop on (IWPSE'04)
Evolution of Requirements Models by Simulation
Kyoto, Japan
September 06-September 07
ISBN: 0-7695-2211-4
Christian Seybold, University of Zurich, Switzerland
Silvio Meier, University of Zurich, Switzerland
Martin Glinz, University of Zurich, Switzerland
Simulation is a common means for validating requirements models. Simulating formal models is state-of-the-art. However, requirements models usually are not formal for two reasons. Firstly, a formal model cannot be generated in one step. Requirements are vague in the beginning and are refined stepwise towards a more formal representation. Secondly, requirements are changing, thus leading to a continuously evolving model. Hence, a requirements model will be complete and formal only at the end of the modeling process, if at all. If we want to use simulation as a means of continuous validation during the process of requirements evolution, the simulation technique employed must be capable of dealing with semi-formal, incomplete models.
In this paper, we present an approach how we can handle partial models during simulation and use simulation to support evolution of these models. Our approach transfers the ideas of drivers, stubs, and regression from testing to the simulation of requirements models. It also uses the simulation results for evolving an incomplete model in a systematic way towards a more formal and complete one.
Citation:
Christian Seybold, Silvio Meier, Martin Glinz, "Evolution of Requirements Models by Simulation," iwpse, pp.43-48, Principles of Software Evolution, 7th International Workshop on (IWPSE'04), 2004
Usage of this product signifies your acceptance of the Terms of Use.