Revisiting statechart synthesis with an algebraic approach
- 28 September 2004
- conference paper
- Published by Institute of Electrical and Electronics Engineers (IEEE)
- No. 02705257,p. 242-251
- https://doi.org/10.1109/icse.2004.1317446
Abstract
The idea of synthesizing statecharts out of a collection of scenarios has received a lot of attention in recent years. However due to the poor expressive power of first generation scenario languages, including UML 1.x sequence diagrams, the proposed solutions often use ad hoc tricks and suffer from many shortcomings. The recent adoption in UML 2.0 of a richer scenario language, including interesting composition operators, now makes it possible to revisit the problem of statechart synthesis with a radically new approach. Inspired by the way UML 2.0 sequence diagrams can be algebraically composed, we first define an algebraic framework for composing statecharts. Then we show how to leverage the algebraic structure of UML 2.0 sequence diagrams to get a direct algorithm for synthesizing a composition of statecharts out of them. The synthesized statecharts exhibit interesting properties that make them particularly useful as a basis for the detailed design process. Beyond offering a systematic and semantically well founded method, another interest of our approach lies in its flexibility: the modification or replacement of a given scenario has a limited impact on the synthesis process, thus fostering a better traceability between the requirements and the detailed design.Keywords
This publication has 11 references indexed in Scilit:
- A workbench for synthesising behaviour models from scenariosPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2005
- Synthesis of behavioral models from scenariosIEEE Transactions on Software Engineering, 2003
- Come, Let’s PlayPublished by Springer Nature ,2003
- LSCs: Breathing Life into Message Sequence ChartsFormal Methods in System Design, 2001
- Generating statechart designs from scenariosPublished by Association for Computing Machinery (ACM) ,2000
- From MSCS to StatechartsPublished by Springer Nature ,1999
- Automatic synthesis of SDL models in Use Case MethodologyPublished by Elsevier ,1999
- Automated support for modeling OO softwareIEEE Software, 1998
- Statecharts: a visual formalism for complex systemsScience of Computer Programming, 1987
- Constructing Programs from Example ComputationsIEEE Transactions on Software Engineering, 1976