Synthesis of Open Reactive Systems from Scenario-Based Specifications

Authors:
Yves Bontemps;Pierre-Yves Schobbens
Affiliations:
-;-
Venue:
ACSD '03 Proceedings of the Third International Conference on Application of Concurrency to System Design
Year:
2003

Citing 0
Cited 8

Resolving Race Conditions in Asynchronous Partial Order Scenarios

IEEE Transactions on Software Engineering
Lazy buffer semantics for partial order scenarios

Automated Software Engineering
Compositional Synthesis of Reactive Systems from Live Sequence Chart Specifications

TACAS '09 Proceedings of the 15th International Conference on Tools and Algorithms for the Construction and Analysis of Systems: Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009,
Inherent causal orderings of partial order scenarios

ICTAC'04 Proceedings of the First international conference on Theoretical Aspects of Computing
Synthesis revisited: generating statechart models from scenario-based requirements

Formal Methods in Software and Systems Modeling
Scenario synthesis from imprecise requirements

SAM'04 Proceedings of the 4th international SDL and MSC conference on System Analysis and Modeling
Lightweight formal methods for scenario-based software engineering

SMTT'03 Proceedings of the 2003 international conference on Scenarios: models, Transformations and Tools
Consistency checking scenario-based specifications of dynamic systems by combining simulation and synthesis

Proceedings of the Fourth Workshop on Behaviour Modelling - Foundations and Applications

Quantified Score

Hi-index	0.00

Visualization

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.