Difference between revisions of "AspectLTL"

From AspectLTL Wiki Page
Jump to: navigation, search
Line 26: Line 26:
 
* [[Media:aspectLTLpg1.0.pdf|A Programmer's Guide to AspectLTL]].
 
* [[Media:aspectLTLpg1.0.pdf|A Programmer's Guide to AspectLTL]].
  
* The eclipse update site for the AspectLTL plug-in is http://aspectltl.ysaar.net/updatesite/.
+
* The Eclipse update site for the AspectLTL plug-in is http://aspectltl.ysaar.net/updatesite/.
  
  
 
== References ==
 
== References ==
  
* S. Maoz and Y. Sa'ar, "AspectLTL: An Aspect Language for LTL Specifications", AOSD'11, [[Media:Aosd11draft.pdf|draft version]].
+
* S. Maoz and Y. Sa'ar, "AspectLTL: An Aspect Language for LTL Specifications", AOSD'11[[Media:Aosd11draft.pdf|draft version]].

Revision as of 05:18, 13 December 2010


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 was created by Shahar Maoz and Yaniv Sa'ar. It is first presented in the paper: S. Maoz and Y. Sa'ar, "AspectLTL: An Aspect Language for LTL Specifications", AOSD'11. To appear.

Resources


References

  • S. Maoz and Y. Sa'ar, "AspectLTL: An Aspect Language for LTL Specifications", AOSD'11. draft version.