Synthesis of open reactive systems from scenario-based specifications

Yves Bontemps; Pierre Yves Schobbens

doi:10.1109/CSD.2003.1207698

Synthesis of open reactive systems from scenario-based specifications

Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférence › Article 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 originale	Anglais
titre	Proceedings - 3rd International Conference on Application of Concurrency to System Design, ACSD 2003
Editeur	Institute of Electrical and Electronics Engineers Inc.
Pages	41-50
Nombre de pages	10
Volume	2003-January
ISBN (Electronique)	0769518877
Les DOIs	https://doi.org/10.1109/CSD.2003.1207698
Etat de la publication	Publié - 1 janv. 2003
Evénement	3rd International Conference on Application of Concurrency to System Design, ACSD 2003 - Guimaraes, Portugal Durée: 18 juin 2003 → 20 juin 2003

Une conférence

Une conférence	3rd International Conference on Application of Concurrency to System Design, ACSD 2003
Pays	Portugal
La ville	Guimaraes
période	18/06/03 → 20/06/03

Accès au document

10.1109/CSD.2003.1207698

Autres fichiers et liens

Link to publication in Scopus

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

@inproceedings{c9c5410a2d224a17a9985e956857fa16,

title = "Synthesis of open reactive systems from scenario-based specifications",

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 = "Communication industry, Computer science, Concurrent computing, Control systems, Design engineering, Error correction, Humans, Software engineering, Specification languages, Unified modeling language",

author = "Yves Bontemps and Schobbens, {Pierre Yves}",

year = "2003",

month = jan,

day = "1",

doi = "10.1109/CSD.2003.1207698",

language = "English",

volume = "2003-January",

pages = "41--50",

booktitle = "Proceedings - 3rd International Conference on Application of Concurrency to System Design, ACSD 2003",

publisher = "Institute of Electrical and Electronics Engineers Inc.",

note = "3rd International Conference on Application of Concurrency to System Design, ACSD 2003 ; Conference date: 18-06-2003 Through 20-06-2003",

}

Bontemps, Y & Schobbens, PY 2003, Synthesis of open reactive systems from scenario-based specifications. Dans Proceedings - 3rd International Conference on Application of Concurrency to System Design, ACSD 2003. VOL. 2003-January, 1207698, Institute of Electrical and Electronics Engineers Inc., p. 41-50, 3rd International Conference on Application of Concurrency to System Design, ACSD 2003, Guimaraes, Portugal, 18/06/03. https://doi.org/10.1109/CSD.2003.1207698

Synthesis of open reactive systems from scenario-based specifications. / Bontemps, Yves; Schobbens, Pierre Yves.

Proceedings - 3rd International Conference on Application of Concurrency to System Design, ACSD 2003. Vol 2003-January Institute of Electrical and Electronics Engineers Inc., 2003. p. 41-50 1207698.

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

TY - GEN

T1 - Synthesis of open reactive systems from scenario-based specifications

AU - Bontemps, Yves

AU - Schobbens, Pierre Yves

PY - 2003/1/1

Y1 - 2003/1/1

N2 - 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.

AB - 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.

KW - Communication industry

KW - Computer science

KW - Concurrent computing

KW - Control systems

KW - Design engineering

KW - Error correction

KW - Humans

KW - Software engineering

KW - Specification languages

KW - Unified modeling language

UR - http://www.scopus.com/inward/record.url?scp=84941650491&partnerID=8YFLogxK

U2 - 10.1109/CSD.2003.1207698

DO - 10.1109/CSD.2003.1207698

M3 - Conference contribution

AN - SCOPUS:84941650491

VL - 2003-January

SP - 41

EP - 50

BT - Proceedings - 3rd International Conference on Application of Concurrency to System Design, ACSD 2003

PB - Institute of Electrical and Electronics Engineers Inc.

T2 - 3rd International Conference on Application of Concurrency to System Design, ACSD 2003

Y2 - 18 June 2003 through 20 June 2003

ER -