Planned and Traversable Play-Out: A Flexible Method for Executing Scenario-Based Programs,

We introduce a novel approach to the smart execution of scenario-based models of reactive systems, such as those resulting from the multi-modal inter-object language of live sequence charts (LSCs). Our approach finds multiple execution paths from a given state of the system, and allows the user to interactively traverse them. The method is based on translating the problem of finding a superstep of execution into a problem in the AI planning domain, and issuing a known planning algorithm, which we have had to modify and strengthen for our purposes.

• Type: Conference
• Year: 2007
• Where: TACAS
• Authors: David Harel, Itai Segall
• Keywords: Algorithms, Multi-modal Inter-object Language, Multiple Execution Paths, Smart Execution, TACAS 2007