Für Studenten

Für Unternehmen






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.
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.