A comparative survey of scenario-based to state-based model synthesis approaches

Proceedings - International Conference on Software Engineering

Volumn , Issue , 2006, Pages 5-11

  Liang, Hongzhi ^a   Dingel, Juergen ^a   Diskin, Zinovy ^a  

^a QUEEN S UNIVERSITY   (Canada)

Author keywords

Model; Msc; Petri nets; Scenario; Sdl; State machines; Synthesis; Uml

Indexed keywords

MSC; SCENARIO; SDL; STATE MACHINE; UML;

ALGORITHMS; MODELS; PETRI NETS; SOFTWARE ENGINEERING; SURVEYS; SYNTHESIS (CHEMICAL); TOOLS;

MATHEMATICAL MODELS;

EID: 84885611124     PISSN: 02705257     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1138953.1138956     Document Type: Conference Paper

References (36)

1. D. Amyot and A. Eberlein. An evaluation of scenario notations and construction approaches for telecommunication systems development. Telecommunication Systems, 24(1):61-94, 2003.
2. A. W. Biermann and R. Krishnaswamy. Constructing programs from example computations. IEEE Transactions on Software Engineering, 2(3):141-153, 1976.
3. Y. Bontemps and P. Heymans. As fast as sound (lightweight formal scenario synthesis and verification). In 3rd International Workshop on Scenarios and State Machines: Models, Algorithms, and Tools (SCESM '04), Edinburgh, UK, 2004.
4. F. Bordeleau, J.-P. Corriveau, and B. Selic. A scenario-based approach to hierarchical state machine design. In 3rd IEEE International Symposium on Object-Oriented Real-time Distributed Computing (ISORC '00), Newport Beach, California, USA, March 2000.
5. W. Damm and D. Harel. LSCs: Breathing Life into Message Sequence Charts. In Formal Methods in System Design 19, 1, pages 45-80, 2001.
6. B. Dano, H. Briand, and F. Barbier. An approach based on the concept of use case to produce dynamic object-oriented specifications. In Proceedings of the Third IEEE International Symposium on Requirements Engineering (RE '97), pages 54-64, 1997.
7. I. Diethelm, L. Geiger, T. Maier, and A. Z̈undorf. Turning collaboration diagram strips into storycharts. In Workshop on Scenarios and State Machines: Models, Algorithms, and Tools (SCESM '02), Orlando, Florida, USA, 2002.
8. M. Elkoutbi and R. K. Keller. User Interface Prototyping Based on UML Scenarios and High-Level Petri Nets. In 21st International Conference on Application and Theory of Petri Nets (ICATPN '00), pages 166-186, 2000.
9. D. Harel. Statecharts: A visual formalism for complex systems. Science of Computer Programming, 8(3):231-274, June 1987.
10. D. Harel and H. Kugler. Synthesizing State-Based Object Systems from LSC Specifications. In 5th International Conference on Implementation and Application of Automata(CIAA '00), pages 1-33, London, UK, 2001. Springer-Verlag.
11. D. Harel, H. Kugler, and A. Pnueli. Synthesis revisited: Generating statechart models from scenario-based requirements. Formal Methods in Software and System Modeling, Lecture Notes in Computer Science, 3393:309-324, 2005.
12. D. Harel and R. Marelly. Come, Let's Play: Scenario-Based Programming Using LSC's and the Play-Engine. Springer-Verlag New York, Inc., Secaucus, NJ, USA, 2003.
13. ITU. ITU-T Recommendation Z.100: Specification and Description Language (SDL), 2000.
14. ITU-TS. Recommendation Z.120: Message Sequence Chart (MSC), 2000.
15. I. Jacobson and P. Ng. Aspect-Oriented Software Development with Use Cases. Addison Wesley Professional, 1st edition, Dec 2004.
16. I. Khriss, M. Elkoutbi, and R. K. Keller. Automatic synthesis of behavioral object specifications from scenarios. Transactions of Society for Design and Process Science (SDPS), 5(3):53-77, September 2001.
17. L. Kloul and J. Küster-Filipe. From Interaction Overview Diagrams to PEPA nets. In 4th Workshop on Process Algebras and Timed Activities (PASTA'05), Edinburgh, 2005.
18. K. Koskimies and E. Mäkinen. Automatic synthesis of state machines from trace diagrams. Softw. Pract. Exper., 24(7):643-658, 1994.
19. I. Krüger, R. Grosu, P. Scholz, and M. Broy. From MSCs to statecharts. In IFIP WG10.3/WG10.5 International Workshop on Distributed and Parallel Embedded Systems(DIPES '98), pages 61-71, Norwell, MA, USA, 1999. Kluwer Academic Publishers.
20. S. Leue, L. Mehrmann, and M. Rezai. Synthesizing room models from message sequence chart specifications. Technical report, Dept. of Electrical and Computer Engineering, University of Waterloo, Waterloo, Ontario, Canada, 1998.
21. T. Maier and A. Zündorf. The Fujaba Statechart Synthesis Approach. In Workshop on Scenarios and State Machines: Models, Algorithms and Tools (SCESM '03), Portland, Oregon, USA, May 2003.
22. E. Makinen and T. Systa. MAS: An interactive synthesizer to support behavioral modelling in UML. In 23rd International Conference on Software Engineering (ICSE '01), pages 15-24, Washington, DC, USA, 2001. IEEE Computer Society.
23. N. Mansurov and D. Zhukov. Automatic synthesis of SDL models in use case methodology. In Ninth SDL Forum (SDL'99), Montŕeal, Canada, 1999.
24. H. Muccini. Detecting implied scenarios analyzing non-local branching choices. In Fundamental Approaches to Software Engineering, pages 372-386, 2003.
25. H. Nicolas and C. Martinez. Synthesizing State-Machine Behaviour from UML Collaborations and Use Case Maps. In SDL Forum, pages 339-359, 2005.
26. OMG. Unified Modeling Language. Online, http://www.omg.org, 2005.
27. W. Reisig. Petri Nets, An Introduction. Springer Verlag, Berlin, 1985.
28. M. Sgroi, A. Kondratyev, Y. Watanabe, L. Lavagno, and A. Sangiovanni-Vincentelli. Synthesis of Petri Nets from Message Sequence Charts Specifications for Protocol Design. In Design, Analysis and Simulation of Distributed Systems Symposium (DASD '04), Washington DC, USA, April 2004.
29. S. Some, R. Dssouli, and J. Vaucher. From scenarios to timed automata: Building specifications from users requirements. In Second Asia Pacific Software Engineering Conference (APSEC '95), page 48, Washington, DC, USA, 1995. IEEE Computer Society.
30. S. Uchitel and M. Chechik. Merging partial behavioural models. In SIGSOFT FSE, pages 43-52, 2004.
31. S. Uchitel and J. Kramer. A workbench for synthesising behaviour models from scenarios. In 23rd IEEE International Conference on Software Engineering (ICSE '01), May 2001.
32. S. Uchitel, J. Kramer, and J. Magee. Detecting implied scenarios in message sequence chart specifications. In 8th European Software Engineering Conference/9th ACM SIGSOFT International Symposium on Foundations of Software Engineering (ESEC/FSE-9), pages 74-82, New York, NY, USA, 2001. ACM Press.
33. S. Uchitel, J. Kramer, and J. Magee. Negative scenarios for implied scenario elicitation. SIGSOFT Softw. Eng. Notes, 27(6):109-118, 2002.
34. J. Whittle, R. Kwan, and J. Saboo. From scenarios to code: An air traffic control case study. Software and System Modeling, 4(1):71-93, 2005.
35. J. Whittle and J. Schumann. Generating statechart designs from scenarios. In 22nd International Conference on Software Engineering (ICSE '00), pages 314-323, New York, NY, USA, 2000. ACM Press.
36. T. Ziadi, L. Héloüet, and J.Jézéquel. Revisiting statechart synthesis with an algebraic approach. In 26th International Conference on Software Engineering (ICSE '04), pages 242-251, Washington, DC, USA, 2004. IEEE Computer Society.