Synthesis of open reactive systems from scenario-based specifications

Yves Bontemps, Pierre Yves Schobbens, Christof Löding

Research output: Contribution to journalArticlepeer-review

Abstract

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.

Original languageEnglish
Pages (from-to)139-169
Number of pages31
JournalFundamenta Informaticae
Volume62
Issue number2
Publication statusPublished - 1 Sep 2004

Fingerprint

Dive into the research topics of 'Synthesis of open reactive systems from scenario-based specifications'. Together they form a unique fingerprint.

Cite this