Synthesis revisited: Generating statechart models from scenario-based requirements

David Harel; Hillel Kugler; Amir Pnueli

doi:10.1007/978-3-540-31847-7_18

Synthesis revisited: Generating statechart models from scenario-based requirements

David Harel, Hillel Kugler, Amir Pnueli

Weizmann Institute of Science

Research output: Chapter in Book/Report/Conference proceeding › Chapter › peer-review

101 Scopus citations

Abstract

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 language	English
Title of host publication	Formal Methods in Software and Systems Modeling
Subtitle of host publication	Essays Dedicated to Hartmut Ehrig on the Occasion of His 60th Birthday
Publisher	Springer Verlag
Pages	309-324
Number of pages	16
ISBN (Print)	3540249362, 9783540249368
DOIs	https://doi.org/10.1007/978-3-540-31847-7_18
State	Published - 2005
Externally published	Yes

Publication series

Name	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume	3393 LNCS
ISSN (Print)	0302-9743
ISSN (Electronic)	1611-3349

Access to Document

10.1007/978-3-540-31847-7_18

Cite this

Harel, D., Kugler, H., & Pnueli, A. (2005). Synthesis revisited: Generating statechart models from scenario-based requirements. In Formal Methods in Software and Systems Modeling: Essays Dedicated to Hartmut Ehrig on the Occasion of His 60th Birthday (pp. 309-324). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 3393 LNCS). Springer Verlag. https://doi.org/10.1007/978-3-540-31847-7_18

Harel, David ; Kugler, Hillel ; Pnueli, Amir. / Synthesis revisited : Generating statechart models from scenario-based requirements. Formal Methods in Software and Systems Modeling: Essays Dedicated to Hartmut Ehrig on the Occasion of His 60th Birthday. Springer Verlag, 2005. pp. 309-324 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

@inbook{4b79f02ccdd14384ae997ac390b3a309,

title = "Synthesis revisited: Generating statechart models from scenario-based requirements",

abstract = "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.",

author = "David Harel and Hillel Kugler and Amir Pnueli",

year = "2005",

doi = "10.1007/978-3-540-31847-7_18",

language = "אנגלית",

isbn = "3540249362",

series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

publisher = "Springer Verlag",

pages = "309--324",

booktitle = "Formal Methods in Software and Systems Modeling",

address = "גרמניה",

}

Harel, D, Kugler, H & Pnueli, A 2005, Synthesis revisited: Generating statechart models from scenario-based requirements. in Formal Methods in Software and Systems Modeling: Essays Dedicated to Hartmut Ehrig on the Occasion of His 60th Birthday. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 3393 LNCS, Springer Verlag, pp. 309-324. https://doi.org/10.1007/978-3-540-31847-7_18

Synthesis revisited: Generating statechart models from scenario-based requirements. / Harel, David; Kugler, Hillel; Pnueli, Amir.
Formal Methods in Software and Systems Modeling: Essays Dedicated to Hartmut Ehrig on the Occasion of His 60th Birthday. Springer Verlag, 2005. p. 309-324 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 3393 LNCS).

Research output: Chapter in Book/Report/Conference proceeding › Chapter › peer-review

TY - CHAP

T1 - Synthesis revisited

T2 - Generating statechart models from scenario-based requirements

AU - Harel, David

AU - Kugler, Hillel

AU - Pnueli, Amir

PY - 2005

Y1 - 2005

N2 - 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.

AB - 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.

UR - http://www.scopus.com/inward/record.url?scp=36849023306&partnerID=8YFLogxK

U2 - 10.1007/978-3-540-31847-7_18

DO - 10.1007/978-3-540-31847-7_18

M3 - ???researchoutput.researchoutputtypes.contributiontobookanthology.chapter???

AN - SCOPUS:36849023306

SN - 3540249362

SN - 9783540249368

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 309

EP - 324

BT - Formal Methods in Software and Systems Modeling

PB - Springer Verlag

ER -

Harel D, Kugler H, Pnueli A. Synthesis revisited: Generating statechart models from scenario-based requirements. In Formal Methods in Software and Systems Modeling: Essays Dedicated to Hartmut Ehrig on the Occasion of His 60th Birthday. Springer Verlag. 2005. p. 309-324. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). doi: 10.1007/978-3-540-31847-7_18

Synthesis revisited: Generating statechart models from scenario-based requirements

Abstract

Publication series

Access to Document

Other files and links

Fingerprint

Cite this