From multi-modal scenarios to code: compiling LSCs into aspectJ

9 years 1 months ago
From multi-modal scenarios to code: compiling LSCs into aspectJ
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 statebased specifications, we follow the ideas behind the LSC play-out algorithm to coordinate the simultaneous monitoring and direct execution of the specified scenarios. We demonstrate our compilation scheme using a small application whose inter-object behaviors are specified using LSCs. Categories and Subject Descriptors: D.2.2 [Software
Shahar Maoz, David Harel
Added 14 Jun 2010
Updated 14 Jun 2010
Type Conference
Year 2006
Authors Shahar Maoz, David Harel
Comments (0)