Synthesis of Open Reactive Systems from Scenario-Based Specifications

Guimar?es, Portugal June 18-June 20

DOI Bookmark:

http://doi.ieeecomputersociety.org/10.1109/CSD.2003.1207698

Third International Conference on App ...

	This Article
	PURCHASE ARTICLE: $19 PDF HTML IEEE Xplore Subscribers
	Share
	Email this Article to a friend
	Bibliographic References
	ASCII Text BibTex RefWorks Procite/RefMan/Endnote
	Add to:
	Digg Furl Spurl Blink Simpy Google Del.icio.us Y!MyWeb
	Search
	Similar Articles Articles by Yves Bontemps Articles by Pierre-Yves Schobbens

	ASCII Text	x
	Yves Bontemps, Pierre-Yves Schobbens, "Synthesis of Open Reactive Systems from Scenario-Based Specifications," Application of Concurrency to System Design, International Conference on, pp. 41, Third International Conference on Application of Concurrency to System Design (ACSD'03), 2003.

	BibTex	x
	@article{ 10.1109/CSD.2003.1207698, author = {Yves Bontemps and Pierre-Yves Schobbens}, title = {Synthesis of Open Reactive Systems from Scenario-Based Specifications}, journal ={Application of Concurrency to System Design, International Conference on}, volume = {0}, year = {2003}, isbn = {0-7695-1887-7}, pages = {41}, doi = {http://doi.ieeecomputersociety.org/10.1109/CSD.2003.1207698}, publisher = {IEEE Computer Society}, address = {Los Alamitos, CA, USA}, }

	RefWorks Procite/RefMan/Endnote	x
	TY - CONF JO - Application of Concurrency to System Design, International Conference on TI - Synthesis of Open Reactive Systems from Scenario-Based Specifications SN - 0-7695-1887-7 SP EP A1 - Yves Bontemps, A1 - Pierre-Yves Schobbens, PY - 2003 KW - null VL - 0 JA - Application of Concurrency to System Design, International Conference on ER -

Yves Bontemps, University of Namur

Pierre-Yves Schobbens, University of Namur

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.

Citation:

Yves Bontemps, Pierre-Yves Schobbens, "Synthesis of Open Reactive Systems from Scenario-Based Specifications," acsd, pp.41, Third International Conference on Application of Concurrency to System Design (ACSD'03), 2003

Peer Review Notice | Give Us Feedback

Usage of this product signifies your acceptance of the Terms of Use.