Speaker: Shahar Maoz, Weizmann Institute

Titl: From Multi-Modal Scenarios to Code: Compiling LSCs into AspectJ
(Shahar Maoz and David Harel, SIGSOFT/FSE'06, Nov. 2006)

We exploit the main similarity between the aspect-oriented programming
paradigm and the inter-object, scenario-based approach to specification in
order to construct a new way of executing systems based on the latter.
Specifically, we show how to compile multi-modal scenario-based
specifications, given in the visual language of Live Sequence Charts
(LSC), into what we call Scenario Aspects, implemented in AspectJ. Unlike
synthesis approaches, which attempt to take the inter-object scenarios and
construct intra-object state-based specifications, we follow the ideas
behind the LSC play-out algorithm to coordinate the simultaneous
monitoring and direct execution of the specified scenarios.

I will begin the talk with a short review of LSC and Modal UML Sequence
Diagrams (MUSD).  The main part of the talk will present the compilation
scheme discussed above.  Finally, I will demonstrate applications built
using the beta version of the S2A compiler.  See: 
http://www.wisdom.weizmann.ac.il/~maozs/s2a/.