AspectLTL is 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.
- AspectLTL plug-in change log:
- June 2010 (v1.2.0) First version available
- Feb. 2011 (v1.3.0) Support for traceability and conflict debugging
- Mar. 2011 (v1.3.1) Preferences page and few important fixes...
- June 2011 (v1.3.2) Interactive graphic view of the generated controller, few bug fixes and usability improvements
- The Eclipse update site for the AspectLTL plug-in is http://aspectltl.ysaar.net/updatesite/.
Note that AspectLTL plugin v1.3.1 and above requires Eclipse Helios 3.6.X (not including Eclipse Indigo 3.7.0).
- S. Maoz and Y. Sa'ar, "AspectLTL: An Aspect Language for LTL Specifications". In Proc. 10th Aspect Oriented Software Development Conf. (AOSD'11), ACM, pp. 19-30, March 2011. paper download
- S. Maoz and Y. Sa'ar, "Two-Way Traceability and Conflict Debugging for AspectLTL Programs". Submitted.