revisiting statechart synthesis with an algebraic approach
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 offirst generation scenario languages, including UML1.xsequence diagrams, the proposed solutions often use adhoc tricks and suffer from many shortcomings. The recent adoption in UML2.0 of a richer scenario language, including interesting composition operators, now makesit possible to revisit the problem of statechart synthesis with a radically new approach. Inspired by the way UML2.0 sequence diagrams can be algebraically composed, we first define an algebraic framework for composing state charts. Then we show how to leverage thealgebraic structure of UML2.0 sequence diagrams toget a direct algorithm for synthesizing a compositionof state charts out of them. The synthesized statechartsexhibit interesting properties that make them particularly useful as a basis for the detailed design process. Beyond offering a systematic and semanticallywell founded method, another interest of our approachlies in its flexibility: the modification or replacement ofa given scenario has a limited impact on the synthesisprocess, thus fostering a better traceability between therequirements and the detailed design.
statecharts synthesis collect scenario attention express power generation language diagrams use adopt compositing operability sequence structure direct algorithm design design process method flexibility traceability  framework 