Sciweavers

BIRTHDAY
2010
Springer

On the Power of Play-Out for Scenario-Based Programs

14 years 16 days ago
On the Power of Play-Out for Scenario-Based Programs
Abstract. We investigate the power of play-out, the execution mechanism associated with scenario-based programming, which was defined as the operational semantics of live sequence charts (LSC). We compare some of the play-out strategies and mechanisms suggested in the literature, and discuss their strengths and limitations. Specifically, we define a simple infinite hierarchy of LSC programs, and use it to show that smart play-out, the lookahead version of play-out guided by model-checking, is strictly weaker than full synthesis from LSC. This paper is dedicated to Prof. Willem de Roever, friend and colleague, with admiration and respect for his scientific achievements, his impact on the community, and his boundless energy.
David Harel, Amir Kantor, Shahar Maoz
Added 08 Nov 2010
Updated 08 Nov 2010
Type Conference
Year 2010
Where BIRTHDAY
Authors David Harel, Amir Kantor, Shahar Maoz
Comments (0)