Synthesis of open reactive systems from scenario-based specifications

Y. Bontemps, P.-Y. Schobbens
Third International Conference on Application of Concurrency to System Design, 2003. Proceedings.  
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 dblp:conf/acsd/BontempsS03 fatcat:ht65xfjzijezxlkot6ymj6dtue