Title :
Synthesis of open reactive systems from scenario-based specifications
Author :
Bontemps, Yves ; Schobbens, Pierre-Yves
Author_Institution :
Comput. Sci. Dept., Univ. of Namur, Belgium
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.
Keywords :
automatic programming; flowcharting; formal specification; game theory; interactive systems; open systems; specification languages; systems analysis; automatic program construction; game-theoretic specification language; interaction modelling; live sequence chart; message sequence chart; open reactive system; scenario-based specification; Communication industry; Computer science; Concurrent computing; Control systems; Design engineering; Error correction; Humans; Software engineering; Specification languages; Unified modeling language;
Conference_Titel :
Application of Concurrency to System Design, 2003. Proceedings. Third International Conference on
Print_ISBN :
0-7695-1887-7
DOI :
10.1109/CSD.2003.1207698
