Synthesis of open reactive systems from scenario-based specifications

Yves Bontemps, Pierre Yves Schobbens

Research output: Contribution in Book/Catalog/Report/Conference proceedingConference contribution

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.

Original languageEnglish
Title of host publicationProceedings - 3rd International Conference on Application of Concurrency to System Design, ACSD 2003
PublisherInstitute of Electrical and Electronics Engineers Inc.
Pages41-50
Number of pages10
Volume2003-January
ISBN (Electronic)0769518877
DOIs
Publication statusPublished - 1 Jan 2003
Event3rd International Conference on Application of Concurrency to System Design, ACSD 2003 - Guimaraes, Portugal
Duration: 18 Jun 200320 Jun 2003

Conference

Conference3rd International Conference on Application of Concurrency to System Design, ACSD 2003
CountryPortugal
CityGuimaraes
Period18/06/0320/06/03

Keywords

  • Communication industry
  • Computer science
  • Concurrent computing
  • Control systems
  • Design engineering
  • Error correction
  • Humans
  • Software engineering
  • Specification languages
  • Unified modeling language

Fingerprint Dive into the research topics of 'Synthesis of open reactive systems from scenario-based specifications'. Together they form a unique fingerprint.

Cite this