Synthesis of open reactive systems from scenario-based specifications

Yves Bontemps, Pierre Yves Schobbens

Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférenceArticle dans les actes d'une conférence/un colloque

Résumé

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.

langue originaleAnglais
titreProceedings - 3rd International Conference on Application of Concurrency to System Design, ACSD 2003
EditeurInstitute of Electrical and Electronics Engineers Inc.
Pages41-50
Nombre de pages10
Volume2003-January
ISBN (Electronique)0769518877
Les DOIs
Etat de la publicationPublié - 1 janv. 2003
Evénement3rd International Conference on Application of Concurrency to System Design, ACSD 2003 - Guimaraes, Portugal
Durée: 18 juin 200320 juin 2003

Une conférence

Une conférence3rd International Conference on Application of Concurrency to System Design, ACSD 2003
PaysPortugal
La villeGuimaraes
période18/06/0320/06/03

Empreinte digitale Examiner les sujets de recherche de « Synthesis of open reactive systems from scenario-based specifications ». Ensemble, ils forment une empreinte digitale unique.

Contient cette citation