Synthesis of Open Reactive Systems from Scenario-Based Specifications
Yves Bontemps, Pierre‐Yves Schobbens, Christof Löding · Repository of the University of Namur · 2004
We propose here Live Sequence Charts with a new, game-based semantics to model inter-actions 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 givea polynomial time algorithm for synthesizing merciful winning strategies.