A service creation environment based on scenarios

Information and Software Technology

Volumn 41, Issue 11-12, 1999, Pages 697-713

  Dssouli, R ^a,b   Some S ^b   Vaucher, J ^a   Salah, A ^a  

^a UNIVERSITÉ DE MONTRÉAL   (Canada)

^b UNIVERSITY OF OTTAWA   (Canada)

Author keywords

Requirement engineering; Scenario; Service creation environment

Indexed keywords

ALGORITHMS; COMPUTER HARDWARE DESCRIPTION LANGUAGES; COMPUTER SOFTWARE; FORMAL LANGUAGES; REQUIREMENTS ENGINEERING; SOFTWARE PROTOTYPING;

SCENARIO; SEMI FORMAL LANGUAGE; SERVICE CREATION ENVIRONMENT;

SOFTWARE ENGINEERING;

EID: 0032599437     PISSN: 09505849     EISSN: None     Source Type: Journal    
DOI: 10.1016/s0950-5849(99)00031-2     Document Type: Article

References (33)

1. B.W. Boehm, Software Engineering, IEEE Transaction on Computers C-25 (12) (1976) 1226-1241.
2. K.M. Benner, M.S. Feather, W.L. Johnson, L.A. Zorman, Utilizing scenarios in the software development process, in: N. Prakash, C. Rolland, B. Pernici (Eds.), Information System Development Process, Elsevier, North-Holland, 1993, pp. 117-134.
3. D. Amyot, L. Logrippo, R.J.A. Buhr, Spécification et conception de systèmes communicants: une approche rigoureuse basée sur des scénarios d'usage, in: CFIP97, Liège, Belgique, September 1997.
4. M. Glinz, An integrated formal model of scenarios based on statecharts, in: Software Engineering-ESEC'95, Proceedings of the 5th European Software Engineering Conference, Springler LNCS 989,1995, pp. 254-271.
5. J. Rumbaugh, M. Blaha, W. Premerlani, F. Eddy, W. Lorensen, Object-Oriented Modelling and Design, Prentice Hall, Englewood Cliffs, NJ, 1991.
6. P. Hsia, J. Samuel, J. Gao, D. Kung, Y. Toyoshima, C. Chen, Formal approach to scenario analysis, IEEE Software March (1994) 33-41.
7. K. Koskimies, E. Mäkinen, Automatic synthesis of state machines from trace diagrams, Software-Practice and Experience 24 (7) (1994) 643-658.
8. S.S. Some, Dérivation de Spécification à partir de Scénarios d'Interaction, PhD thesis, Université de Montréal, 1997.
9. H. BenAbdallah, S. Leue, Syntactic detection of process divergence and non-local choice inmessage sequence charts, TACAS (1997) 259-274.
10. ITU, Recommendation Z. 120: Message Sequence Chart (MSC), ITU, Geneva, 1996.
11. P.B. Ladkin, S. Leue, Interpreting message flow graphs, Formal Aspects of Computing 7 (5) (1995) 473-509.
12. D. Harel, STATECHARTS: A visual formalism for complex systems, Science of Computer Programming 8 (1987) 231-274.
13. R.J.A. Buhr, R.S. Casselman, Use Case Maps for Object-Oriented System, Prentice Hall, Englewood Cliffs, NJ, 1995 302 pp.
14. A.W. Biermann, R. Krishnaswamy, Constructing programs from example computations, IEEE Trans. Software Engineering SE-2 (9) (1976) 141-153.
15. J. Desharnais, R. Khedri, M. Frappier, A. Mili, Integration of sequential scenarios, Lecture Notes in Computer Science 1301 (1997) 310.
16. R. Alur, G. Holzmanin, D. Peled, An analyzer for message sequence charts, Software: Concepts and Tools 17 (1996) 70-77 also appeared in TACAS'96, Tools and Algorithms for the Construction and Analysis of Systems, Passau, Germany, LNCS 1055, Springer, Berlin, 1996, pp. 35-48.
17. R. Alur, G. Holzmanin, D. Peled, An analyzer for message sequence charts, Software: Concepts and Tools 17 (1996) 70-77 also appeared in TACAS'96, Tools and Algorithms for the Construction and Analysis of Systems, Passau, Germany, LNCS 1055, Springer, Berlin, 1996, pp. 35-48.
18. H. BenAbdallah, S. Leue, Proceedings of the Tenth Conference on Formal Description Techniques FORTE/PSTV'97, Osaka, Japan, Timing constraints in message sequence chart specification, Chapman and Hall, London, 1997.
19. B. Regnell, M. Andersson, J. Bergstrand, A hierarchical use case model with graphical representation, in: Proceedings of ECBS'96, IEEE Second International Symposium and Workshop on Engineering of Computer-Based Systems, IEEE, March 1996.
20. M.P.E. Heimdahl, N.G. Leveson, Completeness and consistency analysis of state-based requirements, in: Proceedings of the 17th International Conference on Software Engineering, 1995, pp. 3-14.
21. S. Easterbrook, B. Nuseibeh, Using viewpoints for inconsistency management, IEE Software Engineering Journal 11(1) (1996) 31-43.
22. A. En-Nouaary, R. Dssouli, F. Khendek, Timed scenarios to sdl: specification,implementation and testing of real-systems, in: Submitted for SDL Forum'99, 1999.
23. ITU-T, Message Sequence Chart (MSC), Recommendation Z. 120, 1993.
24. R. Alur, D.L. Dill, A theory of timed automata, Theoretical Computer Science 126 (2) (1994) 183-235.
25. S. Some, R. Dssouli, J. Vaucher, Scenarios to timed automata: building specifications from users requirements, in: Proceedings of the 2nd Asia Pacific Software Engineering Conference (APSEC'95), IEEE, December 1995.
26. R. Fikes, N. Nilson, STRIPS: A new approach to the application of theorem proving to problem solving, Artificial Intelligence 2 (3/4) (1971) 189-208.
27. D.L. Parnas, On the use of transition diagrams in the design of a user interface for an interactive computer system, Proceedings of the ACM Annual Conference 00 (1969) 379-385.
28. S. Somé, R. Dssouli, An enhancement of timed automata generation from timed scenarios using grouped states, Technical Report 1029, DIRO-Université de Montréal, 1996.
29. V.S. Alagar, D. Kourkopoulos, (In)completeness in specifications, Information and Software Technology 36 (6) (1994) 331-342.
30. P. Zave, Feature interactions and formal specifications in telecommunications, Computer 26 (8) (1993) 20-30.
31. R. Dssouli, S. Some, J.W. Guillery, N. Rico, Detection of feature interactions with REST, in: P. Dini, R. Boutaba, L. Logrippo (Eds.), Proceedings of the Feature Interactions in Telecommunications Networks, IOS Press, Amsterdam, 1997.
32. J.F. Guillery, Detection of telephone service interactions. Technical report, Département IRO, Université de Montréal, 1996.
33. E.J. Cameron, N.D. Gnffeth, Y.J. Lin, M. Nilson, W.K. Schnure, H. Velthuijsen, A feature Interaction Benchmark for IN and beyond, in: L.G. Bouma, H. Velthuijsen (Eds.), Feature Interactions in Telecommunications Systems, IOS Press, Amsterdam, 1994.