SE-lab

Startseite

Für Studenten

Für Unternehmen

Projekte

Forum

Bewerbung

Kontakt


SE

RWTH Aachen

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 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.
The compilation scheme is implemented in a UML2-compliant tool called the S2A compiler, which provides full code generation of reactive behavior from inter-object multi-modal scenarios. S2A supports advanced scenario-based features such as symbolic parameters, class inheritance, interface implementation, object composition, and dynamic creation of objects.
See: http://www.wisdom.weizmann.ac.il/~maozs/s2a/.
This is joint work with David Harel and Asaf Kleinbort. The talk will summarize papers that appeared in FSE'06, FASE'07, and FASE'08.