|
| << previous |
Journal description
All volumes of the corresponding journal
All issues of the corresponding volume
All articles of the corresponding issues
Details for article 6 of 6 found articles
| Title: |
Synthesis of Open Reactive Systems from Scenario-Based Specifications |
| Author: |
Yves Bontemps Pierre-Yves Schobbens Christof Löding |
| Appeared in: |
Fundamenta informaticae |
| Paging: | Volume 62 (2004) nr. 2 pages 139-169 |
| Year: |
2004-11-30 |
| Contents: |
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. We introduce the concept of mercifulness, a desirable property of the synthesized program. We give a polynomial time algorithm for synthesizing merciful winning strategies. |
| Publisher: |
IOS Press |
| Source file: |
Elektronische Wetenschappelijke Tijdschriften |
Details for article 6 of 6 found articles
| << previous |