Difference between revisions of "AspectLTL"

From AspectLTL Wiki Page
Jump to: navigation, search
(TNtLAsdBEGOduOpc)
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}}
+

Revision as of 02:41, 20 June 2011

Home run! Great slugging with that aswenr!