Synthesis from scenario-based specifications

被引：12

作者：

Harel, David ^{[1
]}

Segall, Itai ^{[1
]}

机构：

[1] Weizmann Inst Sci, Dept Comp Sci & Appl Math, IL-76100 Rehovot, Israel

来源：

JOURNAL OF COMPUTER AND SYSTEM SCIENCES | 2012年 / 78卷 / 03期

基金：

欧洲研究理事会;

关键词：

Synthesis; Live sequence charts; LSC; Specification; Scenario-based programming; PLAY-OUT;

D O I：

10.1016/j.jcss.2011.08.008

中图分类号：

TP3 [计算技术、计算机技术];

学科分类号：

0812 ;

摘要：

We consider the problem of the automatic generation of reactive systems from specifications given in the scenario-based language of live sequence charts (LSCs). We start by extending the language so that it becomes more suitable for synthesis. We then translate a system specification given in the language into a two-player game between the system and the environment. By solving the game, we generate a winning strategy for the system, which corresponds to a correct implementation of the specification. We also define two notions of system correctness, and show how each can be synthesized. (C) 2011 Elsevier Inc. All rights reserved.

引用

页码：970 / 980

页数：11

共 50 条

[1] Synthesis of Connectors from Scenario-Based Interaction Specifications
Arbab, Farhad
Meng, Sun
[J]. COMPONENT-BASED SOFTWARE ENGINEERING, PROCEEDINGS, 2008, 5282 : 114 - 129
[2] Synthesis of Reo Circuits from Scenario-based Specifications
Arbab, Farhad
Meng, Sun
Baier, Christel
[J]. ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2009, 229 (02) : 21 - 41
[3] Synthesis of distributed processes from scenario-based specifications
Sun, J
Dong, JS
[J]. FM 2005: FORMAL METHODS, PROCEEDINGS, 2005, 3582 : 415 - 431
[4] COMPARING AND IMPROVING THE SYNTHESIS OF STATE-BASED SPECIFICATIONS FROM SCENARIO-BASED SPECIFICATIONS
Wang, Zhijian
Li, Wenrui
Zhang, Pengcheng
[J]. INTERNATIONAL JOURNAL OF SOFTWARE ENGINEERING AND KNOWLEDGE ENGINEERING, 2012, 22 (07) : 867 - 890
[5] Synthesis of Reo circuits from scenario-based interaction specifications
Meng, Sun
Arbab, Farhad
Baier, Christel
[J]. SCIENCE OF COMPUTER PROGRAMMING, 2011, 76 (08) : 651 - 680
[6] Synthesis of open reactive systems from scenario-based specifications
Bontemps, Y
Schobbens, PY
[J]. THIRD INTERNATIONAL CONFERENCE ON APPLICATION OF CONCURRENCY TO SYSTEM DESIGN, PROCEEDINGS, 2003, : 41 - 50
[7] Synthesis of open reactive systems from scenario-based specifications
Bontemps, Y
Schobbens, PY
Löding, C
[J]. FUNDAMENTA INFORMATICAE, 2004, 62 (02) : 139 - 169
[8] Compositional Synthesis of Controllers from Scenario-Based Assume-Guarantee Specifications
Greenyer, Joel
Kindler, Ekkart
[J]. MODEL-DRIVEN ENGINEERING LANGUAGES AND SYSTEMS, 2013, 8107 : 774 - 789
[9] Learning from Vacuously Satisfiable Scenario-Based Specifications
Alrajeh, Dalal
Kramer, Jeff
Russo, Alessandra
Uchitel, Sebastian
[J]. FUNDAMENTAL APPROACHES TO SOFTWARE ENGINEERING, FASE 2012, 2012, 7212 : 377 - 393
[10] Verifying scenario-based aspect specifications
Katz, E
Katz, S
[J]. FM 2005: FORMAL METHODS, PROCEEDINGS, 2005, 3582 : 432 - 447

← 1 2 3 4 5 →