Synthesis of open reactive systems from scenario-based specifications

Synthesis of open reactive systems from scenario-based specifications

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 sp...

Ausführliche Beschreibung

Gespeichert in:
Bibliographische Detailangaben
Hauptverfasser: Bontemps, Y., Schobbens, P.-Y.
Format: Tagungsbericht
Sprache:eng
Schlagworte:
Communication industry
Computer science
Concurrent computing
Control systems
Design engineering
Error correction
Humans
Software engineering
Specification languages
Unified modeling language
Online-Zugang:Volltext bestellen
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Beschreibung
Zusammenfassung: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.
DOI:10.1109/CSD.2003.1207698