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

Research output: Contribution in Book/Catalog/Report/Conference proceeding › Conference 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 language	English
Title of host publication	Proceedings - 3rd International Conference on Application of Concurrency to System Design, ACSD 2003
Publisher	Institute of Electrical and Electronics Engineers Inc.
Pages	41-50
Number of pages	10
Volume	2003-January
ISBN (Electronic)	0769518877
DOIs	https://doi.org/10.1109/CSD.2003.1207698
Publication status	Published - 1 Jan 2003
Event	3rd International Conference on Application of Concurrency to System Design, ACSD 2003 - Guimaraes, Portugal Duration: 18 Jun 2003 → 20 Jun 2003

Conference

Conference	3rd International Conference on Application of Concurrency to System Design, ACSD 2003
Country/Territory	Portugal
City	Guimaraes
Period	18/06/03 → 20/06/03

Keywords

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

Access to Document

10.1109/CSD.2003.1207698

Cite this

@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.",

address = "United States",

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. in Proceedings - 3rd International Conference on Application of Concurrency to System Design, ACSD 2003. vol. 2003-January, 1207698, Institute of Electrical and Electronics Engineers Inc., pp. 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.

Research output: Contribution in Book/Catalog/Report/Conference proceeding › Conference contribution

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 -

Synthesis of open reactive systems from scenario-based specifications

Abstract

Conference

Keywords

Access to Document

Other files and links

Fingerprint

Cite this