Scenariodriven modeling and validation of requirements models

Proceedings - International Conference on Software Engineering

Volumn , Issue , 2006, Pages 83-89

  Seybold, Christian ^a   Meier, Silvio ^a   Glinz, Martin ^a  

^a UNIVERSITY OF ZURICH   (Switzerland)

Author keywords

Adora; Modeling; Scenarios; Simulation; Statecharts

Indexed keywords

ADORA; INTERACTIVE SIMULATIONS; MESSAGE SEQUENCE CHARTS; MODELING AND VALIDATION; REQUIREMENTS MODELS; SCENARIOS; SIMULATION; STATECHARTS;

ALGORITHMS; FLOWCHARTING; ITERATIVE METHODS; MATHEMATICAL MODELS; MODELS; SEMANTICS; SOFTWARE ENGINEERING; TOOLS;

COMPUTER SIMULATION;

EID: 84885654582     PISSN: 02705257     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1138953.1138969     Document Type: Conference Paper

References (14)

1. S. M. Easterbrook and M. Chechik. Guest Editorial: Special Issue on Model Checking in Requirements Engineering. Requirements Engineering, 7(4):221-224, 2002.
2. M. Glinz. An Integrated Formal Model of Scenarios Based on Statecharts. In W. Schafer and P. Botella, editors, Proceedings of the Fifth European Software Engineering Conference, pages 254-271. Lecture Notes in Computer Science Nr. 989, Springer-Verlag, 1995.
3. M. Glinz, S. Berner, and S. Joos. Object-Oriented Modeling with ADORA. Information Systems, 27(6):425-444, 2002.
4. D. Harel and R. Marelly. Come, Let's Play: Scenario-Based Programming Using LSC's and the Play-Engine. Springer-Verlag New York, Inc., 2003.
5. G. J. Holzmann. The Model Checker SPIN. IEEE Transactions on Software Engineering, 23(5):279-295, 1997.
6. F. Houdek and B. Paech. Das Tursteuergerat - eine Beispielspezifikation [The Car Door Control System - An Example Specification (in German)]. Technical report, Fraunhofer Institut f̈ur Experimentelles Software Engineering, Kaiserslautern, 2002.
7. M. Jackson. Principles of Program Design. Academic Press, New York, 1975.
8. J. Magee and J. Kramer. Concurrency: State Models & Java Programs. John Wiley & Sons, Chichester, 1999.
9. D. L. Parnas. On the Criteria To Be Used in Decomposing Systems into Modules. Communications of the ACM, 12(15):1053-1058, 1972.
10. D. L. Parnas and J. Madey. Functional Documents for Computer Systems. Science of Computer Programming, 25(1):41-61, 1995.
11. C. Seybold, S. Meier, and M. Glinz. Evolution of Requirements Models By Simulation. In Proceedings of the 7th International Workshop on Principles of Software Evolution (IWPSE'04), pages 43-48, 2004.
12. C. Seybold, S. Meier, and M. Glinz. Simulation-based Validation and Defect Localization for Evolving, Semi-Formal Requirements Models. In Proceedings of the 12th Asia-Pacific Software Engineering Conference (APSEC 2005), pages 408-417, 2005.
13. J. Whittle and J. Schumann. Generating Statechart Designs From Scenarios. In Proceedings of the 24th International Conference on Software Engineering (ICSE'00), pages 314-323, 2000.
14. Y. Xia. A Language Definition Method for Visual Specification Languages. PhD thesis, University of Zurich, 2004.