Synthesis revisited: Generating statechart models from scenario-based requirements

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 3393 LNCS, Issue , 2005, Pages 309-324

  Harel, David ^a   Kugler, Hillel ^a   Pnueli, Amir ^a  

^a WEIZMANN INSTITUTE OF SCIENCE   (Israel)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER PROGRAMMING LANGUAGES; LEARNING ALGORITHMS; PROBLEM SOLVING; REQUIREMENTS ENGINEERING;

SCENARIO-BASED REQUIREMENTS; STATECHARTS; UML CASE TOOLS;

DATA STRUCTURES;

EID: 36849023306     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-31847-7_18     Document Type: Article

References (32)

1. R. Alur and M. Yannakakis. Model checking of message sequence charts. In 10th International Conference on Concurrency Theory (CONCUR99), volume 1664 of Lect. Notes in Comp. Sci. pages 114-129. Springer-Verlag, 1999.
2. T. Arons, J. Hooman, H. Kugler, A. Pnueli, and M. van der Zwaag. Deductive Verification of UML Models in TLPVS. In Proc. 7th International Conference on UML Modeling Languages and Applications (UML 2004), Lect. Notes in Comp. Sci., pages 335-349. Springer-Verlag, October 2004.
3. D. Barak, D. Harel, and R. Marelly. InterPlay: Horizontal Scale-Up and Transition to Design in Scenario-Based Programming. In Lectures on Concurrency and Petri Nets, volume 3098 of Lect. Notes in Comp. Sci., pages 66-86. Springer-Verlag, 2004.
4. A.W. Biermann and R. Krishnaswamy. Constructing programs from example computations. IEEE Trans. Softw. Eng., SE-2:141-153, 1976.
5. Y. Bontemps and P.Y. Schobbens. Synthesizing open reactive systems from scenario-based specifications. In Proc. of the 3rd Int. Conf. on Application of Concurrency to System Design (ACSD'03). IEEE Computer Science Press, 2003.
6. δσ. J. Symb. Logic, 48:1171-1198, 1983.
7. W. Damm and D. Harel. LSCs: Breathing life into message sequence charts. Formal Methods in System Design, 19(1):45-80, 2001.
8. Preliminary version appeared in Proc. 3rd IFIP Int. Conf. on Formal Methods for Open Object-Based Distributed Systems (FMOODS'99).
9. E.A. Emerson. Temporal and modal logics. In J. van Leeuwen, editor, Handbook of theoretical computer science, volume B, pages 995-1072. Elsevier, 1990.
10. J. Fisher, D. Harel, E.J.A. Hubbard, N. Piterman, M.J. Stern, and N. Swerdlin. Combining state-based and scenario-based approaches in modeling biological systems. In Proc. 2nd Int. Workshop on Computational Methods in Systems Biology (CMSB 2004), Lect. Notes in Comp. Sci. Springer-Verlag, 2004.
11. D. Harel and H. Kugler. Synthesizing state-based object systems from LSC specifications. Int. J. of Foundations of Computer Science (IJFCS)., 13(1):5-51, Febuary 2002.
12. (Also,Proc. Fifth Int. Conf. on Implementation and Application of Automata (CIAA 2000), July 2000, Lecture Notes in Computer Science, Springer-Verlag, 2000.).
13. th Intl. Conference on Formal Methods in Computer-Aided Design (FMCAD'02), Portland, Oregon, volume 2517 of Lect. Notes in Comp. Sci., pages 378-398, 2002.
14. Also available as Tech. Report MCS02-08, The Weizmann Institute of Science.
15. D. Harel, H. Kugler, and G. Weiss. Some Methodological Observations Resulting from Experience Using LSCs and the Play-In/Play-Out Approach. Proc. Scenarios: Models, Algorithms and Tools, Lecture Notes in Computer Science, Springer-Verlag, 2005. To appear.
16. D. Harel and R. Marelly. Come, Let's Play: Scenario-Based Programming Using LSCs and the Play-Engine. Springer-Verlag, 2003.
17. D. Harel and R. Marelly. Specifying and Executing Behavioral Requirements: The Play In/Play-Out Approach. Software and System Modeling (SoSyM), 2(2):82-107, 2003.
18. Rhapsody. I-Logix, Inc., products web page. http://www.ilogix.com/ products/.
19. th Intl. Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'01), volume 2031 of Lect. Notes in Comp. Sci., Springer-Verlag, 2001.
20. K. Koskimies and E. Makinen. Automatic synthesis of state machines from trace diagrams. Software - Practice and Experience, 24(7):643-658, 1994.
21. K. Koskimies, T. Mannisto, T. Systa, and J. Tuomi. SCED: A Tool for Dynamic Modeling of Object Systems. Tech. Report A-1996-4, University of Tampere, July 1996.
22. I. Krüger, R. Grosu, P. Scholz, and M. Broy. From MSCs to Statecharts. In Proc. Int. Workshop on Distributed and Parallel Embedded Systems (DIPES'98), pages 61-71. Kluwer Academic Publishers, 1999.
23. S. Leue, L. Mehrmann, and M. Rezai. Synthesizing ROOM models from message sequence chart specifications. Tech. Report 98-06, University of Waterloo, April 1998.
24. ITU-TS Recommendation Z.120 (11/99): MSC 2000. ITU-TS, Geneva, 1999.
25. A. Pnueli and R. Rosner. On the synthesis of a reactive module. In Proc. 16th ACM Symp. Princ. of Prog. Lang., pages 179-190, 1989.
26. th Intl. Conference on Computer Aided Verification (CAV'96), volume 1102 of Lect. Notes in Comp. Sci., Springer-Verlag, pages 184-195, 1996.
27. Rational Rose Technical Developer. Rational, Inc., web page. http://www-306.ibm.com/software/awdtools/developer/technical/.
28. I. Schinz, T. Toben, and B. Westphal. The Rhapsody UML Verification Environment. In 2nd Int. Conf. on Software Engineering and Formal Methods. IEEE Computer Society Press, 2004.
29. R. Schlor and W. Damm. Specification and verification of system-level hardware designs using timing diagram. In European Conference on Design Automation, pages 518-524, Paris, France, 1993. IEEE Computer Society Press.
30. Telelogic TAU. Telelogic, Inc., web page.http://www.telelogic.com/ products/tau/.
31. UML. Documentation of the unified modeling language (UML). Available from the Object Management Group (OMG), http://www.omg.org.
32. J. Whittle and J. Schumann. Generating statechart designs from scenarios. In 22nd International Conference on Software Engineering' (ICSE 2000), pages 314-323. ACM Press, 2000.