2010
DOI: 10.1007/978-3-642-11512-7_13 View full text |Buy / Rent full text
|
|

Abstract: 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 t… Show more

Help me understand this report

Search citation statements

Order By: Relevance
0
0
0
0
0
0
3
0

Publication Types

Select...

Relationship

0
0

Authors

Journals