Fluent-based animation: Exploiting the relation between goals and scenarios for requirements validation

Proceedings of the IEEE International Conference on Requirements Engineering

Volumn , Issue , 2004, Pages 208-217

  Uchitel, Sebastian ^a   Chatley, Robert ^a   Kramer, Jeff ^a   Magee, Jeff ^a  

^a IMPERIAL COLLEGE LONDON   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

FLUENT-BASED ANIMATIONS; GRAPHICAL ANIMATIONS; MESSAGE SEQUENCE CHARTS (MSC); REQUIREMENTS VALIDATION;

AUTOMATION; COMPUTER AIDED SOFTWARE ENGINEERING; COMPUTER GRAPHICS; COMPUTER SIMULATION; FEEDBACK; IMAGE PROCESSING; ROBOTS; THYRISTORS; VISUALIZATION;

ANIMATION;

EID: 17044385809     PISSN: 1090705X     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ICRE.2004.1335678     Document Type: Conference Paper

References (25)

1. CREWS, Cooperative Requirements Engineering With Scenarios, http://Sunsite.Informatik.RWTH-Aachen, DE/CREWS. 1999.
2. R. Darimont and A. v. Lamsweerde, "Formal Refinement Patterns for Goal-Driven Requirements Elaboration" in 4th Symp. on Foundations of Software Engineering, San Francisco, 1996.
3. D. Giannakopoulou and J. Magee, "Fluent Model Checking for Event-Based Systems" in ESEC/FSE 2003, Helsinki, 2003.
4. D. Harel, et al. "STATEMATE: A Working Environment for the Development of Complex Reactive Systems", IEEE Transactions on Software Engineering, 16 p. 403-414, 1990.
5. D. Harel and R. Marelly, Come, Let's Play: Scenario-Based Programming Using LSCs and the Play-Engine: Springer-Verlag, 2003.
6. C. Heitmeyer, C. Kirby, and B. Labaw, "The SCR method for Formally Specifying, Verifying and Validating requirements: Tool Support" in Intl. Conf. on Software Engineering (ICSE'97), Boston, 1997.
7. C. A. R. Hoare, Communicating Sequential Processes. Englewood Cliffs, Prentice Hall, 1985.
8. G. J. Holzmann and D. Peled, "The State of Spin" in Computer Aided Verification, 1996.
9. ITU, "Message Sequence Charts", International Telecommunications Union. Rec. Z.120, 2000.
10. R. Keller, "Formal verification of parallel programs", Communications of the ACM, 19(7), p. 371-384, 1976.
11. A. v. Lamsweerde, "Goal-Oriented Requirements Engineering: A Guided Tour" in 5th IEEE Intl. Sym. on Requirements Engineering (RE'01), Toronto, 2001.
12. A. v. Lamsweerde and L. Willemet, "Inferring Declarative Requirements Specifications from Operational Scenarios", IEEE Trans. on Software Engineering, 24(12), p. 1089-1114, 1998.
13. J. Leite and P. A. Freeman, "Requirements Validation Through Viewpoint Resolution"", IEEE Trans. on Software Engineering, 12(12), 1991.
14. Magee et al., The LISA site, www.doc.ic.ac.uk/ltsa. 2003.
15. J. Magee and J. Kramer, Concurrency: State Models and Java Programs. New York: John Wiley & Sons Ltd., 1999.
16. J. Magee, J. Kramer, D. Giannakopoulou, and N. Pryce, "Graphical Animation of Behavior Models" in 22nd Intl. Conf. on Software Engineering (ICSE'OO), Limerick, 2000.
17. J. Magee, S. Uchitel, R. Chatley, and J. Kramer, "Visual Methods for Web Application Design" in Tech note at the IEEE Sym. on Visual and Multimedia Software Engineering, Auckland, 2003.
18. R. Miller and M. Shanahan, "The Event Calculus in Classical Logic - Alternative Axiomatisations", Linkoping Electronic Articles in Computer and Information Science, 4(16), p. 1-27, 1999.
19. B. Nuseibeh and S. Easterbrook, "Requirements engineering: a roadmap" in Intl. Conf. on Software Engineering (ICSE'OO), Limerick, 2000.
20. B. Nuseibeh, J. Kramer, and A. Finkelstein, "A Framework for Expressing the Relationships Between Multiple Views in Requirements Specification", IEEE Trans. on Software Engineering, 20(10), 1994.
21. Object Management Group, "Unified Modeling Language (UML)", http://www.omg.org. 2004.
22. C. Potts, K. Takahashi, and A. I. Anton, "Inquiry-Based Requirements Analysis", IEEE Software, 11(2), p. 21-32, 1994.
23. A. Sutcliffe, "A technique combination approach to requirements engineering" in 3rd IEEE International Symposium on Requirements Engineering, Los Alamitos, 1997.
24. A. Sutcliffe, N. A. M. Maiden, S. Minocha, and D. Manuel, "Supporting Scenario-Based Requirements Engineering", IEEE Transactions on Software Engineering, 24(12), p. 1072-1088, 1998.
25. S. Uchitel, "Elaboration of Behaviour Models and Scenario Based Specifications using Implied Scenarios", Ph.D. Thesis, Imperial College, 2003.