Speaker: Itai Segall, Weizmann Institute

Title: Execution Methods for Live Sequence Charts

Abstract: Live Sequence Charts (LSCs) are a highly expressive language
for the specification of reactive systems. LSCs have been supplied with
an operational semantics, meaning that the specification can be executed
directly, without the need for intermediate code generation. In this
talk I will survey some of the work done regarding development of
different LSC execution mechanisms, including that of Smart Play-Out,
Planned Play-Out and compilation into AspectJ.