Difference between revisions of "AspectLTL"

From AspectLTL Wiki Page
Jump to: navigation, search
(wjlWlKfabxxgz)
Line 1: Line 1:
Kewl you shloud come up with that. Excellent!
+
<!--        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:#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 01:31, 20 June 2011


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.

Resources

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. paper download
  • S. Maoz and Y. Sa'ar, "Two-Way Traceability and Conflict Debugging for AspectLTL Programs". Submitted.


Demo

The #evp parser function was deprecated in EmbedVideo 2.0. Please convert your parser function tag to #ev.