Scenario-based techniques for supporting the elaboration and the validation of formal requirements

Requirements Engineering

Volumn 3, Issue 3-4, 1998, Pages 202-218

  Heymans, Patrick ^a   Dubois, Eric ^b  

^a UNIVERSITY OF NAMUR   (Belgium)

^b SWIFT   (Belgium)

Author keywords

Animation; Formal methods; Message sequence charts; Scenarios

Indexed keywords

EID: 54649083250     PISSN: 09473602     EISSN: 1432010X     Source Type: Journal    
DOI: 10.1007/s007660050005     Document Type: Article

References (43)

1. Rolland C, Ben Achour C, Cauvet C, et al. A proposal for a scenario classification framework. In: Loucopoulos P, Potts C (eds). Requirements Eng 1998;3(1): 23-47
2. Benner KM, Feather S, Johnson WL, Zorman LA. Utilizing scenarios in the software development process. In: Proceedings of IFIP WG 8.1, working conference on information systems development process, North Holland, 1993, ppl 17-134
3. Various authors. IEEE recommended practice for software requirements specifications. Std 830-1998, IEEE Computer Society Press, 1998
4. Meyer B. On formalism in specifications. IEEE Software 1985;2(l): 6-26
5. Jackson M. Software requirements and specifications: a lexicon of practice, principles and prejudices. Addison-Wesley, Reading, MA, 1995
6. Zave P, Jackson M. Four dark corners of requirements engineering. ACM Trans Software Eng Methodol 1997;6(1): 1-30
7. Various authors. Proceedings of the 4th international workshop on software specification and design - IWSSD '87. Monterey, CA, 3-4 April 1987. Computer Society Press, Washington, DC, 1987
8. Wieringa RJ. Requirements engineering: frameworks for understanding. Wiley, New York, 1996
9. Feather MS. Language support for the specification and development of composite systems. ACM Trans Program Lang Syst 1987;9(2): 198-234
10. Dubois E. Albert: a formal language and its supporting tools for requirements engineering. In: Proceedings of LTAPS/FASE' 98 fundamental aspects of software engineering, LNCS 1382, Springer Verlag, Lisboa, 1998
11. Wieringa RJ, Dubois E. Integrating semi-formal and formal software specification techniques. Inform Syst J, 23(3/4), 1998
12. ITU-T recommendation z.120: message sequence charts (MSC). Telecommunication Standardization Sector of International Telecommunication Union, Geneva, Switzerland, 1996
13. Du Bois P, Dubois E, Zeippen JM. On the use of a formal RE language: the generalized railroad crossing problem. In: Proceedings of the IEEE international symposium on requirements engineering (RE '97), Annapolis, MD, 6-10 January 1997. IEEE Computer Society Press, Washington, DC, 1997, pp 128-137
14. Du Bois P. The Albert II reference manual: language constructs and informal semantics. Research report RR-97-002, Computer Science Department, University of Namur, Namur, Belgium, July 1997 (available at ftp://ftp.info.fundp.ac.be/publications/RR/RR97-002.ps.Z)
15. Chabot L, Raskin JF, Schobbens PY. The formal semantic of Albert II. Technical report, Computer Science Department, University of Namur, Namur, Belgium, May 1998
16. Dubois E, Petit M. Using a formal declarative language for specifying requirements modelled in CIMOSA. In: Proceedings of the European workshop on integrated manufacturing systems engineering (IMSE '94), 12-14 December 1994. François Vernadat, Grenoble, 1994, pp 233-241
17. Ben Achour C. Writing and correcting textual scenarios for system design. In: Proceedings of the Natural Language and Information Systems (NLIS '98) Workshop, 28 August 1998, Vienna, Austria, 1998
18. Haumer P, Pohl K, Weidenhaupt K. Abstraction guides: interrelating conceptual models with real world scenes. In: 4th international workshop on requirements engineering: foundation for software quality (RESFQ), Pisa, Italy, 8-9 June 1998
19. Regnell B, Andersson M, Bergstrand J. A hierarchical use case model with graphical representation. In: Proceedings of LCBS '96, IEEE international symposium and workshop on engineering of computer-based systems, IEEE, Friedrichshafen, Germany, March 1996. IEEE Computer Society Press, pp 270-277
20. Ben-Abdallah H, Leue S. Expressing and analyzing timing constraints in Message Sequence Charts specifications. Technical report 97-04, Electrical and Computer Engineering. University of Waterloo, Ontario, Canada, April 1997
21. Jacobson I, Christerson M, Jonsson P, Overgaard G. Objectoriented software engineering: a use case-driven approach. Addison-Wesley, Reading, MA, 1992
22. Dardenne A, Fickas S, van Lamsweerde A. Goal-directed concept acquisition in requirements elicitation. In: Proceedings of the 6th international workshop on software specification and design IWSSD '91, Milan, Italy, October 1991
23. Henzinger TA, Nicollin X, Sifakis J, Yovine S. Symbolic model checking for real-time systems. Inform Comput 1994; no 111:193-244
24. Gulla JA. Explanation generation in information systems engineering. PhD thesis, Trondheim, October 1993
25. Rolland C, Proix C. A natural language approach for requirements engineering. In: Loucopulos P (ed). Proceedings of the 4th conference on advanced information systems engineering CAiSE '92, Manchester, 12-15 May 1992. LNCS 593.Springer, Berlin, pp 257-277
26. Siddiqi JI, Morrey IC, Roast CR, Ozcan MB. Towards quality requirements via animated formal specifications. Ann Software Eng 1997;3: 131-155
27. Habra N. A transformational method for functional prototyping. PhD thesis, Computer Science Department, University of Namur, Namur, Belgium, September 1990
28. O'Neill G. Automatic translation of VDM into standard ML programs. Comput J 1992; March, pp 623-624
29. Harel D, Lachover H, Naamad A, et al. STATEMATE: a working environment for the development of complex reactive systems, vol 16, IEEE transactions on software engineering, April 1990, pp 403-414
30. Grau A, Kowsari M. A validation system for object-oriented specifications of information systems. In: Manthey R, Wolfengagen V (eds). Advances in databases and information systems. Proceedings of the 1st East European symposium on advances in databases and information systems (ADBIS '97), St Petersburg, 2-5 September 1997. Electronic Workshops in Computing, Springer, 1997
31. Heitmeyer C, Labaw B, Kiskis D. Consistency checking of SCRstyle requirements specifications. In: 2nd IEEE international symposium on requirements engineering, March 1995. IEEE Computer Society Press, Washington, DC, 1995, pp 56-63
32. Hernalsteen C, de Jacquier A, Massait Th. A toolset for the analysis of ET-LOTOS specifications. In: Proceedings of the meeting on validation and verification of formal descriptions of the fundamental computer science (FNRS) contact group, Namur, Belgium, May 1997
33. Raskin JF, Schobbens PY. State clock logic: a decidable real-time logic. In: Proceedings of HART '97: hybrid and real-time systems, Grenoble, 26-28 March 1997. Springer, Berlin, 1997, pp 31-47
34. Raskin JF, Schobbens PY. Real-time logics: fictitious clock as an abstraction of dense time. In: Proceedings of TACAS '97: tools and algorithms for the construction and analysis of systems, Twente, 2-4 April 1997. Springer, Berlin, 1997, pp 165-182
35. Jarke M, Gallersdorfer R, Jeusfeld MA, Staudt M, Eherer S. ConceptBase: a deductive object base for meta data management. J Intell Inform Syst 1995; 4(2): 167-192
36. Mylopoulos J, Borgida A, Jarke M, Koubarakis M. Telos: a language for representing knowledge about information Systems. ACM Trans Inform Syst 1990;8(4): 325-362
37. Heymans P. The ALBERT II specification animator. CREWS report 97-13, University of Namur, 1997 (available at http:// Sunsite.Informatik.RWTH-Aachen.DE/CREWS/)
38. Andersson M, Bergstrand J. Formalizing use cases with message sequence charts. Technical report, Department of Communication Systems, Lund University, Lund, Sweden, 1995
39. Hsia P, Samuel J, Gao J, Kund D, Toyoshima Y, Chen C. Formal approach to scenario analysis. IEEE Software 1994; March, pp 33-41
40. Glinz M. An integrated formal model of scenarios based on statecharts. In: Proceedings of ESEC '95 - 5th European software engineering conference, Sitges, Spain. Springer, Berlin, 1995, pp 254-271
41. Some S, Dssouli R, Vaucher J. Toward an automation of requirements engineering using scenarios. J Comput Inform 1996;2(1): 1110-1132
42. Maiden NAM, Minocha S, Manning K, Ryan M. SAVRE: systematic scenario generation and use. In: International requirements engineering conference (ICRE '98), Colorado Springs, CO, 6-10 April 1998
43. Potts C, Takahashi K, Anton A. Inquiry-based requirements analysis. IEEE Software 1994; March, pp 21-32