AspectLTL

From AspectLTL Wiki Page
Revision as of 19:13, 28 September 2010 by Yaniv (Talk | contribs) (Created page with "<!-- BANNER ACROSS TOP OF PAGE {| id="mp-topbanner" style="width:100%; height:5em; background:#f6f6f6; margin-top:1.2em; border:1px solid #ddd;" | style="width:61%; color...")

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to: navigation, search


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.

  • How do I change the main page to point to AspectLTL?
  • Below is just the old content from the main wiki page with useful links.

MediaWiki has been successfully installed.

Consult the User's Guide for information on using the wiki software.

Getting started