Synthesis of Open Reactive Systems from Scenario-Based Specifications

@inproceedings{Bontemps2003SynthesisOO,
  title={Synthesis of Open Reactive Systems from Scenario-Based Specifications},
  author={Yves Bontemps and Pierre-Yves Schobbens},
  booktitle={ACSD},
  year={2003}
}
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. We introduce the concept of mercifulness, a desirable property of the synthesized program. We give a… CONTINUE READING
Highly Cited
This paper has 51 citations. REVIEW CITATIONS

From This Paper

Figures, tables, and topics from this paper.
36 Citations
61 References
Similar Papers

Citations

Publications citing this paper.
Showing 1-10 of 36 extracted citations

52 Citations

0510'05'08'11'14'17
Citations per Year
Semantic Scholar estimates that this publication has 52 citations based on the available data.

See our FAQ for additional information.

References

Publications referenced by this paper.
Showing 1-10 of 61 references

Automated Verification of State-based Specifications Against Scenarios (A Step towards Relating Inter-Object to Intra-Object Specifications)

  • Y. Bontemps
  • Master Thesis, University of Namur, rue…
  • 2001
Highly Influential
7 Excerpts

Eds.: Automata Logics, and Infinite Games: A Guide to Current Research, vol. 2500 of Lect. Notes in Comp

  • E. Grädel, W. Thomas, T. Wilke
  • 2002
1 Excerpt

Problems and Examples of Decentralized Observation and Control for Discrete Event Systems, in: Synthesis and Control of Discrete Event Systems

  • A. Puri, S. Tripakis, P. Varaiya
  • ISBN 0-7923-7639-0
  • 2002
1 Excerpt

Similar Papers

Loading similar papers…