|
|
Line 1: |
Line 1: |
− | <!-- BANNER ACROSS TOP OF PAGE
| + | Home run! Great slugging with that aswenr! |
− | {| id="mp-topbanner" style="width:100%; height:5em; background:#f6f6f6; margin-top:1.2em; border:1px solid #ddd;"
| + | |
− | | style="width:61%; color:#000;" |
| + | |
− | {| style="width:280px; border:none; background:none;"
| + | |
− | | style="width:280px; text-align:center; white-space:nowrap; color:#000;" |
| + | |
− | <div style="font-size:160%; border:none; margin:0; padding:.1em; color:#000;">Welcome to [[AspectLTL]]</div>
| + | |
− | |}
| + | |
− | |} -->
| + | |
− | | + | |
− | 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 [http://www.se-rwth.de/~maoz/ Shahar Maoz] and [http://ysaar.net/ 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.
| + | |
− | | + | |
− | == Resources ==
| + | |
− | | + | |
− | * [[Media:Guide1.1.3a.pdf|A Programmer's Guide to AspectLTL]].
| + | |
− | | + | |
− | * The Eclipse update site for the AspectLTL plug-in is http://aspectltl.ysaar.net/updatesite/.
| + | |
− | Note that AspectLTL plugin v1.3.1 (available through the update site since Mar. 10), requires Eclipse 3.6.0 or above.
| + | |
− | | + | |
− | | + | |
− | == References ==
| + | |
− | | + | |
− | * S. Maoz and Y. Sa'ar, '''"AspectLTL: An Aspect Language for LTL Specifications"'''. In Proc. 10th Aspect Oriented Software Development Conf. (AOSD'11), March 2011. [[Media:aspectltl-aosd11.pdf|paper download]]
| + | |
− | | + | |
− | * S. Maoz and Y. Sa'ar, '''"Two-Way Traceability and Conflict Debugging for AspectLTL Programs"'''. Submitted.
| + | |
− | | + | |
− | | + | |
− | == Demo ==
| + | |
− | | + | |
− | {{#evp:youtubehd|eFd2ygmdbw0|AspectLTL Demo Video}}
| + | |