Synthesis of open reactive systems from scenario-based specifications

被引：2
|
作者：
Bontemps, Y [1 ]
Schobbens, PY [1 ]
机构：
[1] Univ Namur, Dept Comp Sci, Namur, Belgium
来源：
THIRD INTERNATIONAL CONFERENCE ON APPLICATION OF CONCURRENCY TO SYSTEM DESIGN, PROCEEDINGS | 2003年
关键词：
D O I：
10.1109/CSD.2003.1207698
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
We propose here Live Sequence Charts with a new, game-based semantics to model interactions between the system and its environment. For constructing programs automatically, we give an algorithm to synthesize. either a strategy for the system ensuring that the specification is respected, or, if the specification is unimplementable, a strategy for the environment forcing the system to fail.
引用
收藏
页码：41 / 50
页数：10
相关论文
共 50 条
  • [1] Synthesis of open reactive systems from scenario-based specifications
    Bontemps, Y
    Schobbens, PY
    Löding, C
    [J]. FUNDAMENTA INFORMATICAE, 2004, 62 (02) : 139 - 169
  • [2] Synthesis from scenario-based specifications
    Harel, David
    Segall, Itai
    [J]. JOURNAL OF COMPUTER AND SYSTEM SCIENCES, 2012, 78 (03) : 970 - 980
  • [3] Synthesis of Connectors from Scenario-Based Interaction Specifications
    Arbab, Farhad
    Meng, Sun
    [J]. COMPONENT-BASED SOFTWARE ENGINEERING, PROCEEDINGS, 2008, 5282 : 114 - 129
  • [4] 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
  • [5] Synthesis of distributed processes from scenario-based specifications
    Sun, J
    Dong, JS
    [J]. FM 2005: FORMAL METHODS, PROCEEDINGS, 2005, 3582 : 415 - 431
  • [6] 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
  • [7] 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
  • [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
12345