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. |
Year | DOI | Venue |
---|---|---|
2004 | 10.1109/CSD.2003.1207698 | Fundamenta Informaticae - Application of Concurrency to System Design (ACSD'03) |
Keywords | DocType | Volume |
open reactive systems,synthesizing merciful,model interaction,scenario-based specifications,synthesized program,desirable property,polynomial time algorithm,game-based semantics,sequence charts,reactive system,software engineering,formal specification,game theory,unified modeling language,error correction,message sequence chart,flowcharting,concurrent computing,systems analysis,control systems,computer science,open systems | Journal | 62 |
Issue | ISSN | ISBN |
2 | 0169-2968 | 0-7695-1887-7 |
Citations | PageRank | References |
26 | 1.24 | 33 |
Authors | ||
2 |
Name | Order | Citations | PageRank |
---|---|---|---|
Yves Bontemps | 1 | 348 | 17.36 |
Pierre-Yves Schobbens | 2 | 2042 | 104.80 |