Synthesis Revisited: Generating Statechart Models from Scenarios-Based Requirements

D. Harel, H. Kugler, A. Pnueli

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review


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.
Original languageAmerican English
Title of host publicationFormal Methods in Software and System Modeling
StatePublished - 2005

Bibliographical note

Place of conference:Germany


Dive into the research topics of 'Synthesis Revisited: Generating Statechart Models from Scenarios-Based Requirements'. Together they form a unique fingerprint.

Cite this