DocumentCode
1572430
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
fYear
2003
Firstpage
41
Lastpage
50
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;
fLanguage
English
Publisher
ieee
Conference_Titel
Application of Concurrency to System Design, 2003. Proceedings. Third International Conference on
Print_ISBN
0-7695-1887-7
Type
conf
DOI
10.1109/CSD.2003.1207698
Filename
1207698
Link To Document