Synthesis Revisited: Generating Statechart Models from Scenario-Based Requirements

Constructing a program from a specification is a long-known general and fundamental problem. Besides its theoretical interest, this question also has practical implications, since finding good synthesis algorithms could bring about a major improvement in the reliable development of complex systems. In this paper we describe a methodology for synthesizing statechart models from scenario-based requirements. The requirements are given in the language of live sequence charts (LSCs), and may be played in directly from the GUI, and the resulting statecharts are of the object-oriented variant, as adopted in the UML. We have implemented our algorithms as part of the Play-Engine tool and the generated statechart model can then be executed using existing UML case tools.

he05.pdf
PDF file

In  Formal Methods in Software and Systems Modeling

Publisher  Springer Verlag

Details

TypeInproceedings
URLhttp://dx.doi.org/10.1007/978-3-540-31847-7_18
Pages309-324
Volume3393
SeriesLNCS
> Publications > Synthesis Revisited: Generating Statechart Models from Scenario-Based Requirements