Revisiting statechart synthesis with an algebraic approach

Proceedings - International Conference on Software Engineering

Volumn 26, Issue , 2004, Pages 242-251

  Ziadi, Tewfik ^a   Hélouët, Loïc ^a   Jézéquel, Jean Marc ^a  

^a CAMPUS DE BEAULIEU   (France)

Author keywords

[No Author keywords available]

Indexed keywords

ALGEBRA; ALGORITHMS; FORMAL LANGUAGES; MATHEMATICAL MODELS; PROBLEM SOLVING; SEMANTICS; SYSTEMS ANALYSIS;

SEQUENCE DIAGRAMS (SD); STATECHART SYNTHESIS; UML;

SOFTWARE ENGINEERING;

EID: 4544328133     PISSN: 02705257     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (22)

1. M. Abdalla, F. Khendek, and G. Butler. New results on deriving sdl specifications from mscs. In G. Y. e. R.Dssouli, editor, Proc. of 9th SDL forum, pages 51-66, 1999.
2. A. Biermann and Krishnaswamy.R. Constrcuting programs from example computations. IEEE Transaction Software Engineering, 2(3):141-153, September 1976.
3. W. Damm and D. Harel. Lscs: Breathing life into message sequence charts. Formal Methods in System design, 19(1):45-80, 2001.
4. A. Engels, S. Mauw, and M. Reniers. A hierarchy of communication models for message sequence charts. In T. H. T. Mizuno, N. Shiratori and A. Togashi, editors, Proc. of FORTE X and PSTV XVII, pages 75-90, Osaka, Japon, Novembre 1997. Chapman & Hall.
5. O. M. Group. Uinified modeling language specification version 2.0: Superstructure. Technical Report ptc/03-08-02, OMG, 2003.
6. D. Harel. Statecharts: A visual formalism for complex systems. Science of Computer Programming, 8(3):231-274, 1987.
7. D. Harel and R. Marelly. Come, Let's Play: Scenario-Based Programming using LSCs and the Play-Engine. Springer, 2003.
8. L. Hélouët and C. Jard. Conditions for synthesis of communicating automata from hmscs. In 5th International Workshop on Formal Methods for Industrial Critical Systems (FMICS), April 2000.
9. ITU-T. Z.120: Message sequence charts (MSC), november 1999.
10. I. Khriss, M. Elkoutbi, and R. Keller. Automating the synthesis of uml statechart diagrams from multiple collaboration diagrams. In Proc. of UML'98: Beyond the Notation, pages 115-126, 1998.
11. K. Koskimies, T. Systä, J. Tuomi, and Männistö.T. Automated support for modeling oo software. IEEE Software, 15:87-94, Janu 1998.
12. K. M. Koskimies, T. Systä, and J. Tuomi. Sced: A tool for dynamic modeling object systems. Technical Report A-1996-4, University of Tampere, 1996.
13. I. Krüger, R. Grosu, P. Scholz, and M. Broy. From mscs to statecharts. In F. J. Rammig, editor, Distributed and Parallel Embedded Systems. Kluwer Academic Publishers, 1999.
14. S. Leue, L. Mehrmann, and M. Rezai. Synthesizing room models from message sequence chart specifications. In Proc. of 13th IEEE Conference on Automated Software Engineering, Honolulu, Hawaii, Octobre 1998.
15. N. Mansurov and D. Zhukov. Automatic synthesis of sdl models in use case methodology. In G. Y. e. R.Dssouli, editor, Proc. of 9th SDL forum, pages 225-240, 1999.
16. E. Mäkinen and T. Systä. Mas-an interactive synthesizer to support behavioral modeling. In Proc. of International Conference on Software Engineering (ICSE 2001), 2001.
17. A. Muscholl and D. Peled. Message Sequence Graphs and decision problems on mazurkiewicz traces. In Proc. of MFCS'99, LNCS 1672, 1999.
18. S. Uchitel and J. Kramer. A workbench for synthesising behaviour models from scenarios. In Proc. of International Conference on Software Engineering (ICSE 2001), 2001.
19. S. Uchitel, J. Kramer, and J. Magee. Detecting implied scenarios in message sequence chart specifications. In proceedings of the 9th European Software Engineering Conferees and 9th ACM SIGSOFT International Symposium on the Foundations of Software Engineering (ESEC/FSE'01), September 2001.
20. S. Uchitel, J. Kramer, and J. Magee. Synthesis of behavioral models from scenarios. IEEE Transaction on Software Engineering, 29(2):99-115, February 2003.
21. J. Whittle and J. Schumann. Generating statechart designs from scenarios. In Proc. of International Conference on Software Engineering (ICSE 2000), 2000.
22. T. Ziadi. Technical and additional material. http://www.irisa.fr/triskell/results/ICSE04/.