Speaker: Shahar Maoz, RWTH Aachen, Germany


Title: AspectLTL: An Aspect Language for LTL Specifications


Abstract:


We present AspectLTL, a temporal-logic based language for the
specification and implementation of crosscutting concerns. AspectLTL
enables the modular declarative specification of expressive concerns,
covering the addition of new behaviors, as well as the specification
of safety and liveness properties. Moreover, given an AspectLTL
specification, consisting of a base system and a set of aspects, we
provide AspectLTL with a composition and synthesis-based weaving
process, whose output is a correct-by-construction executable
artifact. The language is supported by a prototype tool and is
demonstrated using running examples.


The prototype tool and additional materials are available from
http://aspectltl.ysaar.net/.


Joint work with Yaniv Sa'ar, Weizmann Institute of Science,
The work will be presented at AOSD'11.