http://aspectltl.ysaar.net/wiki/api.php?action=feedcontributions&user=Yaniv&feedformat=atomAspectLTL Wiki Page - User contributions [en]2024-03-29T13:49:50ZUser contributionsMediaWiki 1.24.4http://aspectltl.ysaar.net/wiki/index.php?title=File:Aspectltl.png&diff=127File:Aspectltl.png2016-02-24T12:26:19Z<p>Yaniv: logo</p>
<hr />
<div>logo</div>Yanivhttp://aspectltl.ysaar.net/wiki/index.php?title=AspectLTL&diff=126AspectLTL2015-07-04T15:43:46Z<p>Yaniv: /* Demo */</p>
<hr />
<div><!-- BANNER ACROSS TOP OF PAGE <br />
{| id="mp-topbanner" style="width:100%; height:5em; background:#f6f6f6; margin-top:1.2em; border:1px solid #ddd;"<br />
| style="width:61%; color:#000;" |<br />
{| style="width:280px; border:none; background:none;"<br />
| style="width:280px; text-align:center; white-space:nowrap; color:#000;" |<br />
<div style="font-size:160%; border:none; margin:0; padding:.1em; color:#000;">Welcome to [[AspectLTL]]</div><br />
|}<br />
|} --><br />
<br />
AspectLTL is a temporal-logic based language for<br />
the specification and implementation of crosscutting concerns.<br />
<br />
AspectLTL enables the modular declarative specification of expressive concerns, covering the addition of new<br />
behaviors, as well as the specification of safety and liveness<br />
properties. Moreover, given an AspectLTL specification,<br />
consisting of a base system and a set of aspects, we<br />
provide AspectLTL with a composition and synthesis-based<br />
weaving process, whose output is a correct-by-construction<br />
executable artifact. The language is supported by a prototype<br />
tool and is demonstrated using running examples.<br />
<br />
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.<br />
<br />
== Resources ==<br />
<br />
* [[Media:Guide1.1.3a.pdf|A Programmer's Guide to AspectLTL]].<br />
<br />
* AspectLTL plug-in change log:<br />
** Jun. 2010 (v1.2.0) First version available.<br />
** Feb. 2011 (v1.3.0) Support for traceability and conflict debugging.<br />
** Mar. 2011 (v1.3.1) Preferences page and few important fixes... ('''requires''' Eclipse 3.6.X).<br />
** Jun. 2011 (v1.3.2) Interactive graphic view of the generated controller, few bug fixes and usability improvements.<br />
** Jan. 2012 (v1.4.0) Migration to Eclipse Indigo. Includes enhanced parsing, enhanced interactive graphic view (including debugging controller), and some bug fixes ('''requires''' Eclipse 3.7.X).<br />
<br />
Note that there are now two Eclipse update sites for AspectLTL plug-in:<br />
* The update site for AspectLTL plug-in v1.3.2 is http://aspectltl.ysaar.net/updatesite/3.6.X/ ('''Not''' compatible with Eclipse 3.7.X and above).<br />
* The update site for AspectLTL plug-in v1.4.0 is http://aspectltl.ysaar.net/updatesite/3.7.X/ ('''Not''' compatible with Eclipse 3.6.X and below).<br />
<br />
== References ==<br />
<br />
* S. Maoz and Y. Sa'ar, '''"AspectLTL: An Aspect Language for LTL Specifications"'''. In Proc. 10th Aspect Oriented Software Development Conf. (AOSD'11), ACM, pp. 19-30, March 2011. [[Media:aspectltl-aosd11.pdf|paper download]]<br />
<br />
* S. Maoz and Y. Sa'ar, '''"Two-Way Traceability and Conflict Debugging for AspectLTL Programs"'''. In Proc. 11th Aspect Oriented Software Development Conf. (AOSD'12), ACM, March 2012. [[Media:aspectltl-tracing-aosd12.pdf|paper download]]<br />
<br />
== Demo ==<br />
<br />
{{#ev:youtube|eFd2ygmdbw0|854x480||AspectLTL Demo Video}}<br />
<br />
== Screenshots ==<br />
<br />
A sequence of three screenshots from the AspectLTL plug-in, showing a debugging session of the Printer example (one of the examples supplied with the plug-in). The screenshots show the selected aspects and base on the left, a textual description of the reversed roles controller, and traceability information in markers attached to the LTLSPEC of the two open aspects. Finally, on the right, a graph-based view of the reversed roles controller: input (environment) variables values are attached to the edges, and output (system) variables values are attached to the nodes. As this is a reversed roles controller, where the engineer plays the role of the system (i.e., chooses the output), each edge allows to open a popup menu, listing the alternative steps to choose from. <br />
<br />
[[File:DebugScreenshot1a.png|1000px]]<br />
<br />
[[File:DebugScreenshot1b.png|1000px]]<br />
<br />
[[File:DebugScreenshot1c.png|1000px]]</div>Yanivhttp://aspectltl.ysaar.net/wiki/index.php?title=AspectLTL&diff=125AspectLTL2015-07-04T15:42:02Z<p>Yaniv: /* Demo */</p>
<hr />
<div><!-- BANNER ACROSS TOP OF PAGE <br />
{| id="mp-topbanner" style="width:100%; height:5em; background:#f6f6f6; margin-top:1.2em; border:1px solid #ddd;"<br />
| style="width:61%; color:#000;" |<br />
{| style="width:280px; border:none; background:none;"<br />
| style="width:280px; text-align:center; white-space:nowrap; color:#000;" |<br />
<div style="font-size:160%; border:none; margin:0; padding:.1em; color:#000;">Welcome to [[AspectLTL]]</div><br />
|}<br />
|} --><br />
<br />
AspectLTL is a temporal-logic based language for<br />
the specification and implementation of crosscutting concerns.<br />
<br />
AspectLTL enables the modular declarative specification of expressive concerns, covering the addition of new<br />
behaviors, as well as the specification of safety and liveness<br />
properties. Moreover, given an AspectLTL specification,<br />
consisting of a base system and a set of aspects, we<br />
provide AspectLTL with a composition and synthesis-based<br />
weaving process, whose output is a correct-by-construction<br />
executable artifact. The language is supported by a prototype<br />
tool and is demonstrated using running examples.<br />
<br />
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.<br />
<br />
== Resources ==<br />
<br />
* [[Media:Guide1.1.3a.pdf|A Programmer's Guide to AspectLTL]].<br />
<br />
* AspectLTL plug-in change log:<br />
** Jun. 2010 (v1.2.0) First version available.<br />
** Feb. 2011 (v1.3.0) Support for traceability and conflict debugging.<br />
** Mar. 2011 (v1.3.1) Preferences page and few important fixes... ('''requires''' Eclipse 3.6.X).<br />
** Jun. 2011 (v1.3.2) Interactive graphic view of the generated controller, few bug fixes and usability improvements.<br />
** Jan. 2012 (v1.4.0) Migration to Eclipse Indigo. Includes enhanced parsing, enhanced interactive graphic view (including debugging controller), and some bug fixes ('''requires''' Eclipse 3.7.X).<br />
<br />
Note that there are now two Eclipse update sites for AspectLTL plug-in:<br />
* The update site for AspectLTL plug-in v1.3.2 is http://aspectltl.ysaar.net/updatesite/3.6.X/ ('''Not''' compatible with Eclipse 3.7.X and above).<br />
* The update site for AspectLTL plug-in v1.4.0 is http://aspectltl.ysaar.net/updatesite/3.7.X/ ('''Not''' compatible with Eclipse 3.6.X and below).<br />
<br />
== References ==<br />
<br />
* S. Maoz and Y. Sa'ar, '''"AspectLTL: An Aspect Language for LTL Specifications"'''. In Proc. 10th Aspect Oriented Software Development Conf. (AOSD'11), ACM, pp. 19-30, March 2011. [[Media:aspectltl-aosd11.pdf|paper download]]<br />
<br />
* S. Maoz and Y. Sa'ar, '''"Two-Way Traceability and Conflict Debugging for AspectLTL Programs"'''. In Proc. 11th Aspect Oriented Software Development Conf. (AOSD'12), ACM, March 2012. [[Media:aspectltl-tracing-aosd12.pdf|paper download]]<br />
<br />
== Demo ==<br />
<br />
{{#ev:youtube|eFd2ygmdbw0|1280x720||AspectLTL Demo Video}}<br />
<br />
== Screenshots ==<br />
<br />
A sequence of three screenshots from the AspectLTL plug-in, showing a debugging session of the Printer example (one of the examples supplied with the plug-in). The screenshots show the selected aspects and base on the left, a textual description of the reversed roles controller, and traceability information in markers attached to the LTLSPEC of the two open aspects. Finally, on the right, a graph-based view of the reversed roles controller: input (environment) variables values are attached to the edges, and output (system) variables values are attached to the nodes. As this is a reversed roles controller, where the engineer plays the role of the system (i.e., chooses the output), each edge allows to open a popup menu, listing the alternative steps to choose from. <br />
<br />
[[File:DebugScreenshot1a.png|1000px]]<br />
<br />
[[File:DebugScreenshot1b.png|1000px]]<br />
<br />
[[File:DebugScreenshot1c.png|1000px]]</div>Yanivhttp://aspectltl.ysaar.net/wiki/index.php?title=AspectLTL&diff=124AspectLTL2015-07-04T15:38:23Z<p>Yaniv: /* Demo */</p>
<hr />
<div><!-- BANNER ACROSS TOP OF PAGE <br />
{| id="mp-topbanner" style="width:100%; height:5em; background:#f6f6f6; margin-top:1.2em; border:1px solid #ddd;"<br />
| style="width:61%; color:#000;" |<br />
{| style="width:280px; border:none; background:none;"<br />
| style="width:280px; text-align:center; white-space:nowrap; color:#000;" |<br />
<div style="font-size:160%; border:none; margin:0; padding:.1em; color:#000;">Welcome to [[AspectLTL]]</div><br />
|}<br />
|} --><br />
<br />
AspectLTL is a temporal-logic based language for<br />
the specification and implementation of crosscutting concerns.<br />
<br />
AspectLTL enables the modular declarative specification of expressive concerns, covering the addition of new<br />
behaviors, as well as the specification of safety and liveness<br />
properties. Moreover, given an AspectLTL specification,<br />
consisting of a base system and a set of aspects, we<br />
provide AspectLTL with a composition and synthesis-based<br />
weaving process, whose output is a correct-by-construction<br />
executable artifact. The language is supported by a prototype<br />
tool and is demonstrated using running examples.<br />
<br />
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.<br />
<br />
== Resources ==<br />
<br />
* [[Media:Guide1.1.3a.pdf|A Programmer's Guide to AspectLTL]].<br />
<br />
* AspectLTL plug-in change log:<br />
** Jun. 2010 (v1.2.0) First version available.<br />
** Feb. 2011 (v1.3.0) Support for traceability and conflict debugging.<br />
** Mar. 2011 (v1.3.1) Preferences page and few important fixes... ('''requires''' Eclipse 3.6.X).<br />
** Jun. 2011 (v1.3.2) Interactive graphic view of the generated controller, few bug fixes and usability improvements.<br />
** Jan. 2012 (v1.4.0) Migration to Eclipse Indigo. Includes enhanced parsing, enhanced interactive graphic view (including debugging controller), and some bug fixes ('''requires''' Eclipse 3.7.X).<br />
<br />
Note that there are now two Eclipse update sites for AspectLTL plug-in:<br />
* The update site for AspectLTL plug-in v1.3.2 is http://aspectltl.ysaar.net/updatesite/3.6.X/ ('''Not''' compatible with Eclipse 3.7.X and above).<br />
* The update site for AspectLTL plug-in v1.4.0 is http://aspectltl.ysaar.net/updatesite/3.7.X/ ('''Not''' compatible with Eclipse 3.6.X and below).<br />
<br />
== References ==<br />
<br />
* S. Maoz and Y. Sa'ar, '''"AspectLTL: An Aspect Language for LTL Specifications"'''. In Proc. 10th Aspect Oriented Software Development Conf. (AOSD'11), ACM, pp. 19-30, March 2011. [[Media:aspectltl-aosd11.pdf|paper download]]<br />
<br />
* S. Maoz and Y. Sa'ar, '''"Two-Way Traceability and Conflict Debugging for AspectLTL Programs"'''. In Proc. 11th Aspect Oriented Software Development Conf. (AOSD'12), ACM, March 2012. [[Media:aspectltl-tracing-aosd12.pdf|paper download]]<br />
<br />
== Demo ==<br />
<br />
{{#ev:youtube|eFd2ygmdbw0|||AspectLTL Demo Video}}<br />
<br />
== Screenshots ==<br />
<br />
A sequence of three screenshots from the AspectLTL plug-in, showing a debugging session of the Printer example (one of the examples supplied with the plug-in). The screenshots show the selected aspects and base on the left, a textual description of the reversed roles controller, and traceability information in markers attached to the LTLSPEC of the two open aspects. Finally, on the right, a graph-based view of the reversed roles controller: input (environment) variables values are attached to the edges, and output (system) variables values are attached to the nodes. As this is a reversed roles controller, where the engineer plays the role of the system (i.e., chooses the output), each edge allows to open a popup menu, listing the alternative steps to choose from. <br />
<br />
[[File:DebugScreenshot1a.png|1000px]]<br />
<br />
[[File:DebugScreenshot1b.png|1000px]]<br />
<br />
[[File:DebugScreenshot1c.png|1000px]]</div>Yanivhttp://aspectltl.ysaar.net/wiki/index.php?title=File:PPS06.pdf&diff=123File:PPS06.pdf2015-07-04T15:21:46Z<p>Yaniv: Yaniv uploaded a new version of File:PPS06.pdf</p>
<hr />
<div>Design Synthesis in Action: Solving a 2EXPTIME-Complete Problem in Time N^3</div>Yanivhttp://aspectltl.ysaar.net/wiki/index.php?title=File:Screenshot_debug.jpg&diff=122File:Screenshot debug.jpg2015-07-04T15:21:20Z<p>Yaniv: Yaniv uploaded a new version of File:Screenshot debug.jpg</p>
<hr />
<div></div>Yanivhttp://aspectltl.ysaar.net/wiki/index.php?title=File:AspectLTLpg1.0.pdf&diff=121File:AspectLTLpg1.0.pdf2015-07-04T15:20:51Z<p>Yaniv: Yaniv uploaded a new version of File:AspectLTLpg1.0.pdf</p>
<hr />
<div>Just a test</div>Yanivhttp://aspectltl.ysaar.net/wiki/index.php?title=File:Aosd11draft.pdf&diff=120File:Aosd11draft.pdf2015-07-04T15:20:34Z<p>Yaniv: Yaniv uploaded a new version of File:Aosd11draft.pdf</p>
<hr />
<div>A draft version of the aosd 2011 paper</div>Yanivhttp://aspectltl.ysaar.net/wiki/index.php?title=File:Aspectltl-tracing-aosd12.pdf&diff=119File:Aspectltl-tracing-aosd12.pdf2015-07-04T15:19:19Z<p>Yaniv: Yaniv uploaded a new version of File:Aspectltl-tracing-aosd12.pdf</p>
<hr />
<div>AOSD 2012 camera ready version of the paper "Two-Way Traceability and Conflict Debugging for AspectLTL Programs"</div>Yanivhttp://aspectltl.ysaar.net/wiki/index.php?title=File:Aspectltl-aosd11.pdf&diff=118File:Aspectltl-aosd11.pdf2015-07-04T15:18:36Z<p>Yaniv: Yaniv uploaded a new version of File:Aspectltl-aosd11.pdf</p>
<hr />
<div></div>Yanivhttp://aspectltl.ysaar.net/wiki/index.php?title=File:Guide1.1.3a.pdf&diff=117File:Guide1.1.3a.pdf2015-07-04T15:17:24Z<p>Yaniv: Yaniv uploaded a new version of File:Guide1.1.3a.pdf</p>
<hr />
<div>A Programmer’s Guide to AspectLTL<br />
(Plug-in version 1.1.3, December 2010)</div>Yanivhttp://aspectltl.ysaar.net/wiki/index.php?title=File:DebugScreenshot1c.png&diff=116File:DebugScreenshot1c.png2015-07-04T15:12:25Z<p>Yaniv: Yaniv uploaded a new version of File:DebugScreenshot1c.png</p>
<hr />
<div></div>Yanivhttp://aspectltl.ysaar.net/wiki/index.php?title=File:DebugScreenshot1b.png&diff=115File:DebugScreenshot1b.png2015-07-04T15:11:48Z<p>Yaniv: Yaniv uploaded a new version of File:DebugScreenshot1b.png</p>
<hr />
<div></div>Yanivhttp://aspectltl.ysaar.net/wiki/index.php?title=File:DebugScreenshot1a.png&diff=114File:DebugScreenshot1a.png2015-07-04T15:10:19Z<p>Yaniv: Yaniv uploaded a new version of File:DebugScreenshot1a.png</p>
<hr />
<div></div>Yanivhttp://aspectltl.ysaar.net/wiki/index.php?title=AspectLTL&diff=113AspectLTL2012-02-16T15:23:34Z<p>Yaniv: /* References */</p>
<hr />
<div><!-- BANNER ACROSS TOP OF PAGE <br />
{| id="mp-topbanner" style="width:100%; height:5em; background:#f6f6f6; margin-top:1.2em; border:1px solid #ddd;"<br />
| style="width:61%; color:#000;" |<br />
{| style="width:280px; border:none; background:none;"<br />
| style="width:280px; text-align:center; white-space:nowrap; color:#000;" |<br />
<div style="font-size:160%; border:none; margin:0; padding:.1em; color:#000;">Welcome to [[AspectLTL]]</div><br />
|}<br />
|} --><br />
<br />
AspectLTL is a temporal-logic based language for<br />
the specification and implementation of crosscutting concerns.<br />
<br />
AspectLTL enables the modular declarative specification of expressive concerns, covering the addition of new<br />
behaviors, as well as the specification of safety and liveness<br />
properties. Moreover, given an AspectLTL specification,<br />
consisting of a base system and a set of aspects, we<br />
provide AspectLTL with a composition and synthesis-based<br />
weaving process, whose output is a correct-by-construction<br />
executable artifact. The language is supported by a prototype<br />
tool and is demonstrated using running examples.<br />
<br />
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.<br />
<br />
== Resources ==<br />
<br />
* [[Media:Guide1.1.3a.pdf|A Programmer's Guide to AspectLTL]].<br />
<br />
* AspectLTL plug-in change log:<br />
** Jun. 2010 (v1.2.0) First version available.<br />
** Feb. 2011 (v1.3.0) Support for traceability and conflict debugging.<br />
** Mar. 2011 (v1.3.1) Preferences page and few important fixes... ('''requires''' Eclipse 3.6.X).<br />
** Jun. 2011 (v1.3.2) Interactive graphic view of the generated controller, few bug fixes and usability improvements.<br />
** Jan. 2012 (v1.4.0) Migration to Eclipse Indigo. Includes enhanced parsing, enhanced interactive graphic view (including debugging controller), and some bug fixes ('''requires''' Eclipse 3.7.X).<br />
<br />
Note that there are now two Eclipse update sites for AspectLTL plug-in:<br />
* The update site for AspectLTL plug-in v1.3.2 is http://aspectltl.ysaar.net/updatesite/3.6.X/ ('''Not''' compatible with Eclipse 3.7.X and above).<br />
* The update site for AspectLTL plug-in v1.4.0 is http://aspectltl.ysaar.net/updatesite/3.7.X/ ('''Not''' compatible with Eclipse 3.6.X and below).<br />
<br />
== References ==<br />
<br />
* S. Maoz and Y. Sa'ar, '''"AspectLTL: An Aspect Language for LTL Specifications"'''. In Proc. 10th Aspect Oriented Software Development Conf. (AOSD'11), ACM, pp. 19-30, March 2011. [[Media:aspectltl-aosd11.pdf|paper download]]<br />
<br />
* S. Maoz and Y. Sa'ar, '''"Two-Way Traceability and Conflict Debugging for AspectLTL Programs"'''. In Proc. 11th Aspect Oriented Software Development Conf. (AOSD'12), ACM, March 2012. [[Media:aspectltl-tracing-aosd12.pdf|paper download]]<br />
<br />
== Demo ==<br />
<br />
{{#evp:youtubehd|eFd2ygmdbw0|AspectLTL Demo Video}}<br />
<br />
== Screenshots ==<br />
<br />
A sequence of three screenshots from the AspectLTL plug-in, showing a debugging session of the Printer example (one of the examples supplied with the plug-in). The screenshots show the selected aspects and base on the left, a textual description of the reversed roles controller, and traceability information in markers attached to the LTLSPEC of the two open aspects. Finally, on the right, a graph-based view of the reversed roles controller: input (environment) variables values are attached to the edges, and output (system) variables values are attached to the nodes. As this is a reversed roles controller, where the engineer plays the role of the system (i.e., chooses the output), each edge allows to open a popup menu, listing the alternative steps to choose from. <br />
<br />
[[File:DebugScreenshot1a.png|1000px]]<br />
<br />
[[File:DebugScreenshot1b.png|1000px]]<br />
<br />
[[File:DebugScreenshot1c.png|1000px]]</div>Yanivhttp://aspectltl.ysaar.net/wiki/index.php?title=File:Aspectltl-tracing-aosd12.pdf&diff=112File:Aspectltl-tracing-aosd12.pdf2012-02-16T15:21:20Z<p>Yaniv: AOSD 2012 camera ready version of the paper "Two-Way Traceability and Conflict Debugging for AspectLTL Programs"</p>
<hr />
<div>AOSD 2012 camera ready version of the paper "Two-Way Traceability and Conflict Debugging for AspectLTL Programs"</div>Yanivhttp://aspectltl.ysaar.net/wiki/index.php?title=AspectLTL&diff=110AspectLTL2012-01-09T14:48:07Z<p>Yaniv: /* Resources */</p>
<hr />
<div><!-- BANNER ACROSS TOP OF PAGE <br />
{| id="mp-topbanner" style="width:100%; height:5em; background:#f6f6f6; margin-top:1.2em; border:1px solid #ddd;"<br />
| style="width:61%; color:#000;" |<br />
{| style="width:280px; border:none; background:none;"<br />
| style="width:280px; text-align:center; white-space:nowrap; color:#000;" |<br />
<div style="font-size:160%; border:none; margin:0; padding:.1em; color:#000;">Welcome to [[AspectLTL]]</div><br />
|}<br />
|} --><br />
<br />
AspectLTL is a temporal-logic based language for<br />
the specification and implementation of crosscutting concerns.<br />
<br />
AspectLTL enables the modular declarative specification of expressive concerns, covering the addition of new<br />
behaviors, as well as the specification of safety and liveness<br />
properties. Moreover, given an AspectLTL specification,<br />
consisting of a base system and a set of aspects, we<br />
provide AspectLTL with a composition and synthesis-based<br />
weaving process, whose output is a correct-by-construction<br />
executable artifact. The language is supported by a prototype<br />
tool and is demonstrated using running examples.<br />
<br />
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.<br />
<br />
== Resources ==<br />
<br />
* [[Media:Guide1.1.3a.pdf|A Programmer's Guide to AspectLTL]].<br />
<br />
* AspectLTL plug-in change log:<br />
** Jun. 2010 (v1.2.0) First version available.<br />
** Feb. 2011 (v1.3.0) Support for traceability and conflict debugging.<br />
** Mar. 2011 (v1.3.1) Preferences page and few important fixes... ('''requires''' Eclipse 3.6.X).<br />
** Jun. 2011 (v1.3.2) Interactive graphic view of the generated controller, few bug fixes and usability improvements.<br />
** Jan. 2012 (v1.4.0) Migration to Eclipse Indigo. Includes enhance parsing, enhance interactive graphic view (including debugging controller), and few bug fixes ('''requires''' Eclipse 3.7.X).<br />
<br />
Note that there are now two Eclipse update sites for AspectLTL plug-in:<br />
* The update site for AspectLTL plug-in v1.3.2 is http://aspectltl.ysaar.net/updatesite/3.6.X/ ('''Not''' compatable with Eclipse 3.7.X and above).<br />
* The update site for AspectLTL plug-in v1.4.0 is http://aspectltl.ysaar.net/updatesite/3.7.X/ ('''Not''' compatable with Eclipse 3.6.X and below).<br />
<br />
== References ==<br />
<br />
* S. Maoz and Y. Sa'ar, '''"AspectLTL: An Aspect Language for LTL Specifications"'''. In Proc. 10th Aspect Oriented Software Development Conf. (AOSD'11), ACM, pp. 19-30, March 2011. [[Media:aspectltl-aosd11.pdf|paper download]]<br />
<br />
* S. Maoz and Y. Sa'ar, '''"Two-Way Traceability and Conflict Debugging for AspectLTL Programs"'''. Submitted.<br />
<br />
<br />
== Demo ==<br />
<br />
{{#evp:youtubehd|eFd2ygmdbw0|AspectLTL Demo Video}}<br />
<br />
== Screenshots ==<br />
<br />
A sequence of three screenshots from the AspectLTL plug-in, showing a debugging session of the Printer example (one of the examples supplied with the plug-in). The screenshots show the selected aspects and base on the left, a textual description of the reversed roles controller, and traceability information in markers attached to the LTLSPEC of the two open aspects. Finally, on the right, a graph-based view of the reversed roles controller: input (environment) variables values are attached to the edges, and output (system) variables values are attached to the nodes. As this is a reversed roles controller, where the engineer plays the role of the system (i.e., chooses the output), each edge allows to open a popup menu, listing the alternative steps to choose from. <br />
<br />
[[File:DebugScreenshot1a.png|1000px]]<br />
<br />
[[File:DebugScreenshot1b.png|1000px]]<br />
<br />
[[File:DebugScreenshot1c.png|1000px]]</div>Yanivhttp://aspectltl.ysaar.net/wiki/index.php?title=AspectLTL&diff=109AspectLTL2012-01-09T13:46:50Z<p>Yaniv: /* Resources */</p>
<hr />
<div><!-- BANNER ACROSS TOP OF PAGE <br />
{| id="mp-topbanner" style="width:100%; height:5em; background:#f6f6f6; margin-top:1.2em; border:1px solid #ddd;"<br />
| style="width:61%; color:#000;" |<br />
{| style="width:280px; border:none; background:none;"<br />
| style="width:280px; text-align:center; white-space:nowrap; color:#000;" |<br />
<div style="font-size:160%; border:none; margin:0; padding:.1em; color:#000;">Welcome to [[AspectLTL]]</div><br />
|}<br />
|} --><br />
<br />
AspectLTL is a temporal-logic based language for<br />
the specification and implementation of crosscutting concerns.<br />
<br />
AspectLTL enables the modular declarative specification of expressive concerns, covering the addition of new<br />
behaviors, as well as the specification of safety and liveness<br />
properties. Moreover, given an AspectLTL specification,<br />
consisting of a base system and a set of aspects, we<br />
provide AspectLTL with a composition and synthesis-based<br />
weaving process, whose output is a correct-by-construction<br />
executable artifact. The language is supported by a prototype<br />
tool and is demonstrated using running examples.<br />
<br />
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.<br />
<br />
== Resources ==<br />
<br />
* [[Media:Guide1.1.3a.pdf|A Programmer's Guide to AspectLTL]].<br />
<br />
* AspectLTL plug-in change log:<br />
** Jun. 2010 (v1.2.0) First version available.<br />
** Feb. 2011 (v1.3.0) Support for traceability and conflict debugging.<br />
** Mar. 2011 (v1.3.1) Preferences page and few important fixes... ('''requires''' Eclipse 3.6.X).<br />
** Jun. 2011 (v1.3.2) Interactive graphic view of the generated controller, few bug fixes and usability improvements.<br />
** Jan. 2012 (v1.4.0) Migration to Eclipse Indigo (3.7.X). Includes enhance parsing, enhance interactive graphic view (including debugging controller), and few bug fixes ('''requires''' Eclipse 3.7.X).<br />
<br />
Note that there are now two Eclipse update sites for AspectLTL plug-in:<br />
* The update site for AspectLTL plug-in v1.3.2 is http://aspectltl.ysaar.net/updatesite/3.6.X/ ('''Not''' compatable with Eclipse 3.7.X and above).<br />
* The update site for AspectLTL plug-in v1.4.0 is http://aspectltl.ysaar.net/updatesite/3.7.X/ ('''Not''' compatable with Eclipse 3.6.X and below).<br />
<br />
== References ==<br />
<br />
* S. Maoz and Y. Sa'ar, '''"AspectLTL: An Aspect Language for LTL Specifications"'''. In Proc. 10th Aspect Oriented Software Development Conf. (AOSD'11), ACM, pp. 19-30, March 2011. [[Media:aspectltl-aosd11.pdf|paper download]]<br />
<br />
* S. Maoz and Y. Sa'ar, '''"Two-Way Traceability and Conflict Debugging for AspectLTL Programs"'''. Submitted.<br />
<br />
<br />
== Demo ==<br />
<br />
{{#evp:youtubehd|eFd2ygmdbw0|AspectLTL Demo Video}}<br />
<br />
== Screenshots ==<br />
<br />
A sequence of three screenshots from the AspectLTL plug-in, showing a debugging session of the Printer example (one of the examples supplied with the plug-in). The screenshots show the selected aspects and base on the left, a textual description of the reversed roles controller, and traceability information in markers attached to the LTLSPEC of the two open aspects. Finally, on the right, a graph-based view of the reversed roles controller: input (environment) variables values are attached to the edges, and output (system) variables values are attached to the nodes. As this is a reversed roles controller, where the engineer plays the role of the system (i.e., chooses the output), each edge allows to open a popup menu, listing the alternative steps to choose from. <br />
<br />
[[File:DebugScreenshot1a.png|1000px]]<br />
<br />
[[File:DebugScreenshot1b.png|1000px]]<br />
<br />
[[File:DebugScreenshot1c.png|1000px]]</div>Yanivhttp://aspectltl.ysaar.net/wiki/index.php?title=AspectLTL&diff=108AspectLTL2012-01-09T13:42:55Z<p>Yaniv: /* Resources */</p>
<hr />
<div><!-- BANNER ACROSS TOP OF PAGE <br />
{| id="mp-topbanner" style="width:100%; height:5em; background:#f6f6f6; margin-top:1.2em; border:1px solid #ddd;"<br />
| style="width:61%; color:#000;" |<br />
{| style="width:280px; border:none; background:none;"<br />
| style="width:280px; text-align:center; white-space:nowrap; color:#000;" |<br />
<div style="font-size:160%; border:none; margin:0; padding:.1em; color:#000;">Welcome to [[AspectLTL]]</div><br />
|}<br />
|} --><br />
<br />
AspectLTL is a temporal-logic based language for<br />
the specification and implementation of crosscutting concerns.<br />
<br />
AspectLTL enables the modular declarative specification of expressive concerns, covering the addition of new<br />
behaviors, as well as the specification of safety and liveness<br />
properties. Moreover, given an AspectLTL specification,<br />
consisting of a base system and a set of aspects, we<br />
provide AspectLTL with a composition and synthesis-based<br />
weaving process, whose output is a correct-by-construction<br />
executable artifact. The language is supported by a prototype<br />
tool and is demonstrated using running examples.<br />
<br />
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.<br />
<br />
== Resources ==<br />
<br />
* [[Media:Guide1.1.3a.pdf|A Programmer's Guide to AspectLTL]].<br />
<br />
* AspectLTL plug-in change log:<br />
** Jun. 2010 (v1.2.0) First version available.<br />
** Feb. 2011 (v1.3.0) Support for traceability and conflict debugging.<br />
** Mar. 2011 (v1.3.1) Preferences page and few important fixes... ('''requires''' Eclipse 3.6.X).<br />
** Jun. 2011 (v1.3.2) Interactive graphic view of the generated controller, few bug fixes and usability improvements.<br />
** Jan. 2012 (v1.4.0) Migration to Eclipse Indigo (3.7.X). Includes enhance parsing, enhance interactive graphic view (including debugging controller), and few bug fixes ('''requires''' Eclipse 3.7.X).<br />
<br />
Note that there are now two Eclipse update sites for AspectLTL plug-in:<br />
* The update site for AspectLTL plug-in v1.3.2 http://aspectltl.ysaar.net/updatesite/3.6.X/ ('''Not''' compatable with Eclipse 3.7.X and above).<br />
* The update site for AspectLTL plug-in v1.4.0 is http://aspectltl.ysaar.net/updatesite/3.7.X/ ('''Not''' compatable with Eclipse 3.6.X and below).<br />
<br />
== References ==<br />
<br />
* S. Maoz and Y. Sa'ar, '''"AspectLTL: An Aspect Language for LTL Specifications"'''. In Proc. 10th Aspect Oriented Software Development Conf. (AOSD'11), ACM, pp. 19-30, March 2011. [[Media:aspectltl-aosd11.pdf|paper download]]<br />
<br />
* S. Maoz and Y. Sa'ar, '''"Two-Way Traceability and Conflict Debugging for AspectLTL Programs"'''. Submitted.<br />
<br />
<br />
== Demo ==<br />
<br />
{{#evp:youtubehd|eFd2ygmdbw0|AspectLTL Demo Video}}<br />
<br />
== Screenshots ==<br />
<br />
A sequence of three screenshots from the AspectLTL plug-in, showing a debugging session of the Printer example (one of the examples supplied with the plug-in). The screenshots show the selected aspects and base on the left, a textual description of the reversed roles controller, and traceability information in markers attached to the LTLSPEC of the two open aspects. Finally, on the right, a graph-based view of the reversed roles controller: input (environment) variables values are attached to the edges, and output (system) variables values are attached to the nodes. As this is a reversed roles controller, where the engineer plays the role of the system (i.e., chooses the output), each edge allows to open a popup menu, listing the alternative steps to choose from. <br />
<br />
[[File:DebugScreenshot1a.png|1000px]]<br />
<br />
[[File:DebugScreenshot1b.png|1000px]]<br />
<br />
[[File:DebugScreenshot1c.png|1000px]]</div>Yanivhttp://aspectltl.ysaar.net/wiki/index.php?title=AspectLTL&diff=106AspectLTL2011-10-10T19:03:49Z<p>Yaniv: /* Screenshot */</p>
<hr />
<div><!-- BANNER ACROSS TOP OF PAGE <br />
{| id="mp-topbanner" style="width:100%; height:5em; background:#f6f6f6; margin-top:1.2em; border:1px solid #ddd;"<br />
| style="width:61%; color:#000;" |<br />
{| style="width:280px; border:none; background:none;"<br />
| style="width:280px; text-align:center; white-space:nowrap; color:#000;" |<br />
<div style="font-size:160%; border:none; margin:0; padding:.1em; color:#000;">Welcome to [[AspectLTL]]</div><br />
|}<br />
|} --><br />
<br />
AspectLTL is a temporal-logic based language for<br />
the specification and implementation of crosscutting concerns.<br />
<br />
AspectLTL enables the modular declarative specification of expressive concerns, covering the addition of new<br />
behaviors, as well as the specification of safety and liveness<br />
properties. Moreover, given an AspectLTL specification,<br />
consisting of a base system and a set of aspects, we<br />
provide AspectLTL with a composition and synthesis-based<br />
weaving process, whose output is a correct-by-construction<br />
executable artifact. The language is supported by a prototype<br />
tool and is demonstrated using running examples.<br />
<br />
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.<br />
<br />
== Resources ==<br />
<br />
* [[Media:Guide1.1.3a.pdf|A Programmer's Guide to AspectLTL]].<br />
<br />
* AspectLTL plug-in change log:<br />
** June 2010 (v1.2.0) First version available<br />
** Feb. 2011 (v1.3.0) Support for traceability and conflict debugging <br />
** Mar. 2011 (v1.3.1) Preferences page and few important fixes...<br />
** June 2011 (v1.3.2) Interactive graphic view of the generated controller, few bug fixes and usability improvements<br />
<br />
* The Eclipse update site for the AspectLTL plug-in is http://aspectltl.ysaar.net/updatesite/.<br />
Note that AspectLTL plugin v1.3.1 and above requires Eclipse Helios 3.6.X (not including Eclipse Indigo 3.7.0).<br />
<br />
<br />
== References ==<br />
<br />
* S. Maoz and Y. Sa'ar, '''"AspectLTL: An Aspect Language for LTL Specifications"'''. In Proc. 10th Aspect Oriented Software Development Conf. (AOSD'11), ACM, pp. 19-30, March 2011. [[Media:aspectltl-aosd11.pdf|paper download]]<br />
<br />
* S. Maoz and Y. Sa'ar, '''"Two-Way Traceability and Conflict Debugging for AspectLTL Programs"'''. Submitted.<br />
<br />
<br />
== Demo ==<br />
<br />
{{#evp:youtubehd|eFd2ygmdbw0|AspectLTL Demo Video}}<br />
<br />
== Screenshot ==<br />
<br />
A sequence of three screenshots from the AspectLTL plug-in, showing a debugging session of the Printer example (one of the examples supplied with the plug-in). The screenshots show the selected aspects and base on the left, a textual description of the reversed roles controller, and traceability information in markers attached to the LTLSPEC of the two open aspects. Finally, on the right, a graph-based view of the reversed roles controller: input (environment) variables values are attached to the edges, and output (system) variables values are attached to the nodes. As this is a reversed roles controller, where the engineer plays the role of the system (i.e., chooses the output), each edge allows to open a popup menu, listing the alternative steps to choose from. <br />
<br />
[[File:DebugScreenshot1a.png|1000px]]<br />
<br />
[[File:DebugScreenshot1b.png|1000px]]<br />
<br />
[[File:DebugScreenshot1c.png|1000px]]</div>Yanivhttp://aspectltl.ysaar.net/wiki/index.php?title=File:DebugScreenshot1c.png&diff=105File:DebugScreenshot1c.png2011-10-10T19:00:58Z<p>Yaniv: uploaded a new version of &quot;File:DebugScreenshot1c.png&quot;</p>
<hr />
<div></div>Yanivhttp://aspectltl.ysaar.net/wiki/index.php?title=File:DebugScreenshot1b.png&diff=104File:DebugScreenshot1b.png2011-10-10T18:59:56Z<p>Yaniv: uploaded a new version of &quot;File:DebugScreenshot1b.png&quot;</p>
<hr />
<div></div>Yanivhttp://aspectltl.ysaar.net/wiki/index.php?title=File:DebugScreenshot1a.png&diff=103File:DebugScreenshot1a.png2011-10-10T18:59:12Z<p>Yaniv: uploaded a new version of &quot;File:DebugScreenshot1a.png&quot;</p>
<hr />
<div></div>Yanivhttp://aspectltl.ysaar.net/wiki/index.php?title=File:DebugScreenshot1c.png&diff=102File:DebugScreenshot1c.png2011-10-10T18:55:12Z<p>Yaniv: </p>
<hr />
<div></div>Yanivhttp://aspectltl.ysaar.net/wiki/index.php?title=File:DebugScreenshot1b.png&diff=101File:DebugScreenshot1b.png2011-10-10T18:54:21Z<p>Yaniv: </p>
<hr />
<div></div>Yanivhttp://aspectltl.ysaar.net/wiki/index.php?title=File:DebugScreenshot1a.png&diff=100File:DebugScreenshot1a.png2011-10-10T18:53:36Z<p>Yaniv: uploaded a new version of &quot;File:DebugScreenshot1a.png&quot;</p>
<hr />
<div></div>Yanivhttp://aspectltl.ysaar.net/wiki/index.php?title=File:DebugScreenshot1a.png&diff=99File:DebugScreenshot1a.png2011-10-10T18:52:45Z<p>Yaniv: </p>
<hr />
<div></div>Yanivhttp://aspectltl.ysaar.net/wiki/index.php?title=AspectLTL&diff=96AspectLTL2011-10-09T20:23:14Z<p>Yaniv: /* Screenshot */</p>
<hr />
<div><!-- BANNER ACROSS TOP OF PAGE <br />
{| id="mp-topbanner" style="width:100%; height:5em; background:#f6f6f6; margin-top:1.2em; border:1px solid #ddd;"<br />
| style="width:61%; color:#000;" |<br />
{| style="width:280px; border:none; background:none;"<br />
| style="width:280px; text-align:center; white-space:nowrap; color:#000;" |<br />
<div style="font-size:160%; border:none; margin:0; padding:.1em; color:#000;">Welcome to [[AspectLTL]]</div><br />
|}<br />
|} --><br />
<br />
AspectLTL is a temporal-logic based language for<br />
the specification and implementation of crosscutting concerns.<br />
<br />
AspectLTL enables the modular declarative specification of expressive concerns, covering the addition of new<br />
behaviors, as well as the specification of safety and liveness<br />
properties. Moreover, given an AspectLTL specification,<br />
consisting of a base system and a set of aspects, we<br />
provide AspectLTL with a composition and synthesis-based<br />
weaving process, whose output is a correct-by-construction<br />
executable artifact. The language is supported by a prototype<br />
tool and is demonstrated using running examples.<br />
<br />
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.<br />
<br />
== Resources ==<br />
<br />
* [[Media:Guide1.1.3a.pdf|A Programmer's Guide to AspectLTL]].<br />
<br />
* AspectLTL plug-in change log:<br />
** June 2010 (v1.2.0) First version available<br />
** Feb. 2011 (v1.3.0) Support for traceability and conflict debugging <br />
** Mar. 2011 (v1.3.1) Preferences page and few important fixes...<br />
** June 2011 (v1.3.2) Interactive graphic view of the generated controller, few bug fixes and usability improvements<br />
<br />
* The Eclipse update site for the AspectLTL plug-in is http://aspectltl.ysaar.net/updatesite/.<br />
Note that AspectLTL plugin v1.3.1 and above requires Eclipse Helios 3.6.X (not including Eclipse Indigo 3.7.0).<br />
<br />
<br />
== References ==<br />
<br />
* S. Maoz and Y. Sa'ar, '''"AspectLTL: An Aspect Language for LTL Specifications"'''. In Proc. 10th Aspect Oriented Software Development Conf. (AOSD'11), ACM, pp. 19-30, March 2011. [[Media:aspectltl-aosd11.pdf|paper download]]<br />
<br />
* S. Maoz and Y. Sa'ar, '''"Two-Way Traceability and Conflict Debugging for AspectLTL Programs"'''. Submitted.<br />
<br />
<br />
== Demo ==<br />
<br />
{{#evp:youtubehd|eFd2ygmdbw0|AspectLTL Demo Video}}<br />
<br />
== Screenshot ==<br />
<br />
[[File:Screenshot_debug.jpg|1000px]]</div>Yanivhttp://aspectltl.ysaar.net/wiki/index.php?title=AspectLTL&diff=95AspectLTL2011-10-09T20:22:13Z<p>Yaniv: /* Screenshot */</p>
<hr />
<div><!-- BANNER ACROSS TOP OF PAGE <br />
{| id="mp-topbanner" style="width:100%; height:5em; background:#f6f6f6; margin-top:1.2em; border:1px solid #ddd;"<br />
| style="width:61%; color:#000;" |<br />
{| style="width:280px; border:none; background:none;"<br />
| style="width:280px; text-align:center; white-space:nowrap; color:#000;" |<br />
<div style="font-size:160%; border:none; margin:0; padding:.1em; color:#000;">Welcome to [[AspectLTL]]</div><br />
|}<br />
|} --><br />
<br />
AspectLTL is a temporal-logic based language for<br />
the specification and implementation of crosscutting concerns.<br />
<br />
AspectLTL enables the modular declarative specification of expressive concerns, covering the addition of new<br />
behaviors, as well as the specification of safety and liveness<br />
properties. Moreover, given an AspectLTL specification,<br />
consisting of a base system and a set of aspects, we<br />
provide AspectLTL with a composition and synthesis-based<br />
weaving process, whose output is a correct-by-construction<br />
executable artifact. The language is supported by a prototype<br />
tool and is demonstrated using running examples.<br />
<br />
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.<br />
<br />
== Resources ==<br />
<br />
* [[Media:Guide1.1.3a.pdf|A Programmer's Guide to AspectLTL]].<br />
<br />
* AspectLTL plug-in change log:<br />
** June 2010 (v1.2.0) First version available<br />
** Feb. 2011 (v1.3.0) Support for traceability and conflict debugging <br />
** Mar. 2011 (v1.3.1) Preferences page and few important fixes...<br />
** June 2011 (v1.3.2) Interactive graphic view of the generated controller, few bug fixes and usability improvements<br />
<br />
* The Eclipse update site for the AspectLTL plug-in is http://aspectltl.ysaar.net/updatesite/.<br />
Note that AspectLTL plugin v1.3.1 and above requires Eclipse Helios 3.6.X (not including Eclipse Indigo 3.7.0).<br />
<br />
<br />
== References ==<br />
<br />
* S. Maoz and Y. Sa'ar, '''"AspectLTL: An Aspect Language for LTL Specifications"'''. In Proc. 10th Aspect Oriented Software Development Conf. (AOSD'11), ACM, pp. 19-30, March 2011. [[Media:aspectltl-aosd11.pdf|paper download]]<br />
<br />
* S. Maoz and Y. Sa'ar, '''"Two-Way Traceability and Conflict Debugging for AspectLTL Programs"'''. Submitted.<br />
<br />
<br />
== Demo ==<br />
<br />
{{#evp:youtubehd|eFd2ygmdbw0|AspectLTL Demo Video}}<br />
<br />
== Screenshot ==<br />
<br />
[[File:Screenshot_debug.jpg|800px]]</div>Yanivhttp://aspectltl.ysaar.net/wiki/index.php?title=File:Screenshot_debug.jpg&diff=94File:Screenshot debug.jpg2011-10-09T20:20:22Z<p>Yaniv: </p>
<hr />
<div></div>Yanivhttp://aspectltl.ysaar.net/wiki/index.php?title=AspectLTL&diff=93AspectLTL2011-10-09T20:17:38Z<p>Yaniv: </p>
<hr />
<div><!-- BANNER ACROSS TOP OF PAGE <br />
{| id="mp-topbanner" style="width:100%; height:5em; background:#f6f6f6; margin-top:1.2em; border:1px solid #ddd;"<br />
| style="width:61%; color:#000;" |<br />
{| style="width:280px; border:none; background:none;"<br />
| style="width:280px; text-align:center; white-space:nowrap; color:#000;" |<br />
<div style="font-size:160%; border:none; margin:0; padding:.1em; color:#000;">Welcome to [[AspectLTL]]</div><br />
|}<br />
|} --><br />
<br />
AspectLTL is a temporal-logic based language for<br />
the specification and implementation of crosscutting concerns.<br />
<br />
AspectLTL enables the modular declarative specification of expressive concerns, covering the addition of new<br />
behaviors, as well as the specification of safety and liveness<br />
properties. Moreover, given an AspectLTL specification,<br />
consisting of a base system and a set of aspects, we<br />
provide AspectLTL with a composition and synthesis-based<br />
weaving process, whose output is a correct-by-construction<br />
executable artifact. The language is supported by a prototype<br />
tool and is demonstrated using running examples.<br />
<br />
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.<br />
<br />
== Resources ==<br />
<br />
* [[Media:Guide1.1.3a.pdf|A Programmer's Guide to AspectLTL]].<br />
<br />
* AspectLTL plug-in change log:<br />
** June 2010 (v1.2.0) First version available<br />
** Feb. 2011 (v1.3.0) Support for traceability and conflict debugging <br />
** Mar. 2011 (v1.3.1) Preferences page and few important fixes...<br />
** June 2011 (v1.3.2) Interactive graphic view of the generated controller, few bug fixes and usability improvements<br />
<br />
* The Eclipse update site for the AspectLTL plug-in is http://aspectltl.ysaar.net/updatesite/.<br />
Note that AspectLTL plugin v1.3.1 and above requires Eclipse Helios 3.6.X (not including Eclipse Indigo 3.7.0).<br />
<br />
<br />
== References ==<br />
<br />
* S. Maoz and Y. Sa'ar, '''"AspectLTL: An Aspect Language for LTL Specifications"'''. In Proc. 10th Aspect Oriented Software Development Conf. (AOSD'11), ACM, pp. 19-30, March 2011. [[Media:aspectltl-aosd11.pdf|paper download]]<br />
<br />
* S. Maoz and Y. Sa'ar, '''"Two-Way Traceability and Conflict Debugging for AspectLTL Programs"'''. Submitted.<br />
<br />
<br />
== Demo ==<br />
<br />
{{#evp:youtubehd|eFd2ygmdbw0|AspectLTL Demo Video}}<br />
<br />
== Screenshot ==<br />
<br />
[[File:Screenshot_debug.jpg]]</div>Yanivhttp://aspectltl.ysaar.net/wiki/index.php?title=AspectLTL&diff=92AspectLTL2011-07-28T14:16:22Z<p>Yaniv: </p>
<hr />
<div><!-- BANNER ACROSS TOP OF PAGE <br />
{| id="mp-topbanner" style="width:100%; height:5em; background:#f6f6f6; margin-top:1.2em; border:1px solid #ddd;"<br />
| style="width:61%; color:#000;" |<br />
{| style="width:280px; border:none; background:none;"<br />
| style="width:280px; text-align:center; white-space:nowrap; color:#000;" |<br />
<div style="font-size:160%; border:none; margin:0; padding:.1em; color:#000;">Welcome to [[AspectLTL]]</div><br />
|}<br />
|} --><br />
<br />
AspectLTL is a temporal-logic based language for<br />
the specification and implementation of crosscutting concerns.<br />
<br />
AspectLTL enables the modular declarative specification of expressive concerns, covering the addition of new<br />
behaviors, as well as the specification of safety and liveness<br />
properties. Moreover, given an AspectLTL specification,<br />
consisting of a base system and a set of aspects, we<br />
provide AspectLTL with a composition and synthesis-based<br />
weaving process, whose output is a correct-by-construction<br />
executable artifact. The language is supported by a prototype<br />
tool and is demonstrated using running examples.<br />
<br />
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.<br />
<br />
== Resources ==<br />
<br />
* [[Media:Guide1.1.3a.pdf|A Programmer's Guide to AspectLTL]].<br />
<br />
* AspectLTL plug-in change log:<br />
** June 2010 (v1.2.0) First version available<br />
** Feb. 2011 (v1.3.0) Support for traceability and conflict debugging <br />
** Mar. 2011 (v1.3.1) Preferences page and few important fixes...<br />
** June 2011 (v1.3.2) Interactive graphic view of the generated controller, few bug fixes and usability improvements<br />
<br />
* The Eclipse update site for the AspectLTL plug-in is http://aspectltl.ysaar.net/updatesite/.<br />
Note that AspectLTL plugin v1.3.1 and above requires Eclipse Helios 3.6.X (not including Eclipse Indigo 3.7.0).<br />
<br />
<br />
== References ==<br />
<br />
* S. Maoz and Y. Sa'ar, '''"AspectLTL: An Aspect Language for LTL Specifications"'''. In Proc. 10th Aspect Oriented Software Development Conf. (AOSD'11), ACM, pp. 19-30, March 2011. [[Media:aspectltl-aosd11.pdf|paper download]]<br />
<br />
* S. Maoz and Y. Sa'ar, '''"Two-Way Traceability and Conflict Debugging for AspectLTL Programs"'''. Submitted.<br />
<br />
<br />
== Demo ==<br />
<br />
{{#evp:youtubehd|eFd2ygmdbw0|AspectLTL Demo Video}}</div>Yanivhttp://aspectltl.ysaar.net/wiki/index.php?title=AspectLTL&diff=91AspectLTL2011-07-28T14:15:59Z<p>Yaniv: </p>
<hr />
<div><!-- BANNER ACROSS TOP OF PAGE <br />
{| id="mp-topbanner" style="width:100%; height:5em; background:#f6f6f6; margin-top:1.2em; border:1px solid #ddd;"<br />
| style="width:61%; color:#000;" |<br />
{| style="width:280px; border:none; background:none;"<br />
| style="width:280px; text-align:center; white-space:nowrap; color:#000;" |<br />
<div style="font-size:160%; border:none; margin:0; padding:.1em; color:#000;">Welcome to [[AspectLTL]]</div><br />
|}<br />
|} --><br />
<br />
AspectLTL is a temporal-logic based language for<br />
the specification and implementation of crosscutting concerns.<br />
<br />
AspectLTL enables the modular declarative specification of expressive concerns, covering the addition of new<br />
behaviors, as well as the specification of safety and liveness<br />
properties. Moreover, given an AspectLTL specification,<br />
consisting of a base system and a set of aspects, we<br />
provide AspectLTL with a composition and synthesis-based<br />
weaving process, whose output is a correct-by-construction<br />
executable artifact. The language is supported by a prototype<br />
tool and is demonstrated using running examples.<br />
<br />
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.<br />
<br />
== Resources ==<br />
<br />
* [[Media:Guide1.1.3a.pdf|A Programmer's Guide to AspectLTL]].<br />
<br />
* AspectLTL plug-in change log:<br />
** June 2010 (v1.2.0) First version available<br />
** Feb. 2011 (v1.3.0) Support for traceability and conflict debugging <br />
** Mar. 2011 (v1.3.1) Preferences page and few important fixes...<br />
** June 2011 (v1.3.2) Interactive graphic view of the generated controller, few bug fixes and usability improvements<br />
<br />
* The Eclipse update site for the AspectLTL plug-in is http://aspectltl.ysaar.net/updatesite/.<br />
Note that AspectLTL plugin v1.3.1 and above requires Eclipse Helios 3.6.X (not including Eclipse indigo 3.7.0).<br />
<br />
<br />
== References ==<br />
<br />
* S. Maoz and Y. Sa'ar, '''"AspectLTL: An Aspect Language for LTL Specifications"'''. In Proc. 10th Aspect Oriented Software Development Conf. (AOSD'11), ACM, pp. 19-30, March 2011. [[Media:aspectltl-aosd11.pdf|paper download]]<br />
<br />
* S. Maoz and Y. Sa'ar, '''"Two-Way Traceability and Conflict Debugging for AspectLTL Programs"'''. Submitted.<br />
<br />
<br />
== Demo ==<br />
<br />
{{#evp:youtubehd|eFd2ygmdbw0|AspectLTL Demo Video}}</div>Yanivhttp://aspectltl.ysaar.net/wiki/index.php?title=AspectLTL&diff=89AspectLTL2011-06-20T10:28:23Z<p>Yaniv: </p>
<hr />
<div><!-- BANNER ACROSS TOP OF PAGE <br />
{| id="mp-topbanner" style="width:100%; height:5em; background:#f6f6f6; margin-top:1.2em; border:1px solid #ddd;"<br />
| style="width:61%; color:#000;" |<br />
{| style="width:280px; border:none; background:none;"<br />
| style="width:280px; text-align:center; white-space:nowrap; color:#000;" |<br />
<div style="font-size:160%; border:none; margin:0; padding:.1em; color:#000;">Welcome to [[AspectLTL]]</div><br />
|}<br />
|} --><br />
<br />
AspectLTL is a temporal-logic based language for<br />
the specification and implementation of crosscutting concerns.<br />
<br />
AspectLTL enables the modular declarative specification of expressive concerns, covering the addition of new<br />
behaviors, as well as the specification of safety and liveness<br />
properties. Moreover, given an AspectLTL specification,<br />
consisting of a base system and a set of aspects, we<br />
provide AspectLTL with a composition and synthesis-based<br />
weaving process, whose output is a correct-by-construction<br />
executable artifact. The language is supported by a prototype<br />
tool and is demonstrated using running examples.<br />
<br />
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.<br />
<br />
== Resources ==<br />
<br />
* [[Media:Guide1.1.3a.pdf|A Programmer's Guide to AspectLTL]].<br />
<br />
* The Eclipse update site for the AspectLTL plug-in is http://aspectltl.ysaar.net/updatesite/.<br />
Note that AspectLTL plugin v1.3.1 (available through the update site since Mar. 10), requires Eclipse 3.6.0 or above.<br />
<br />
<br />
== References ==<br />
<br />
* 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]]<br />
<br />
* S. Maoz and Y. Sa'ar, '''"Two-Way Traceability and Conflict Debugging for AspectLTL Programs"'''. Submitted.<br />
<br />
<br />
== Demo ==<br />
<br />
{{#evp:youtubehd|eFd2ygmdbw0|AspectLTL Demo Video}}</div>Yanivhttp://aspectltl.ysaar.net/wiki/index.php?title=AspectLTL&diff=85AspectLTL2011-06-20T08:31:28Z<p>Yaniv: </p>
<hr />
<div><!-- BANNER ACROSS TOP OF PAGE <br />
{| id="mp-topbanner" style="width:100%; height:5em; background:#f6f6f6; margin-top:1.2em; border:1px solid #ddd;"<br />
| style="width:61%; color:#000;" |<br />
{| style="width:280px; border:none; background:none;"<br />
| style="width:280px; text-align:center; white-space:nowrap; color:#000;" |<br />
<div style="font-size:160%; border:none; margin:0; padding:.1em; color:#000;">Welcome to [[AspectLTL]]</div><br />
|}<br />
|} --><br />
<br />
AspectLTL is a temporal-logic based language for<br />
the specification and implementation of crosscutting concerns.<br />
<br />
AspectLTL enables the modular declarative specification of expressive concerns, covering the addition of new<br />
behaviors, as well as the specification of safety and liveness<br />
properties. Moreover, given an AspectLTL specification,<br />
consisting of a base system and a set of aspects, we<br />
provide AspectLTL with a composition and synthesis-based<br />
weaving process, whose output is a correct-by-construction<br />
executable artifact. The language is supported by a prototype<br />
tool and is demonstrated using running examples.<br />
<br />
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.<br />
<br />
== Resources ==<br />
<br />
* [[Media:Guide1.1.3a.pdf|A Programmer's Guide to AspectLTL]].<br />
<br />
* The Eclipse update site for the AspectLTL plug-in is http://aspectltl.ysaar.net/updatesite/.<br />
Note that AspectLTL plugin v1.3.1 (available through the update site since Mar. 10), requires Eclipse 3.6.0 or above.<br />
<br />
<br />
== References ==<br />
<br />
* 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]]<br />
<br />
* S. Maoz and Y. Sa'ar, '''"Two-Way Traceability and Conflict Debugging for AspectLTL Programs"'''. Submitted.<br />
<br />
<br />
== Demo ==<br />
<br />
{{#evp:youtubehd|eFd2ygmdbw0|AspectLTL Demo Video}}</div>Yanivhttp://aspectltl.ysaar.net/wiki/index.php?title=AspectLTL&diff=34AspectLTL2011-04-04T12:22:20Z<p>Yaniv: </p>
<hr />
<div><!-- BANNER ACROSS TOP OF PAGE <br />
{| id="mp-topbanner" style="width:100%; height:5em; background:#f6f6f6; margin-top:1.2em; border:1px solid #ddd;"<br />
| style="width:61%; color:#000;" |<br />
{| style="width:280px; border:none; background:none;"<br />
| style="width:280px; text-align:center; white-space:nowrap; color:#000;" |<br />
<div style="font-size:160%; border:none; margin:0; padding:.1em; color:#000;">Welcome to [[AspectLTL]]</div><br />
|}<br />
|} --><br />
<br />
AspectLTL is a temporal-logic based language for<br />
the specification and implementation of crosscutting concerns.<br />
<br />
AspectLTL enables the modular declarative specification of expressive concerns, covering the addition of new<br />
behaviors, as well as the specification of safety and liveness<br />
properties. Moreover, given an AspectLTL specification,<br />
consisting of a base system and a set of aspects, we<br />
provide AspectLTL with a composition and synthesis-based<br />
weaving process, whose output is a correct-by-construction<br />
executable artifact. The language is supported by a prototype<br />
tool and is demonstrated using running examples.<br />
<br />
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.<br />
<br />
== Resources ==<br />
<br />
* [[Media:Guide1.1.3a.pdf|A Programmer's Guide to AspectLTL]].<br />
<br />
* The Eclipse update site for the AspectLTL plug-in is http://aspectltl.ysaar.net/updatesite/.<br />
Note that AspectLTL plugin v1.3.1 (available through the update site since Mar. 10), requires Eclipse 3.6.0 or above.<br />
<br />
<br />
== References ==<br />
<br />
* 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]]<br />
<br />
* S. Maoz and Y. Sa'ar, '''"Two-Way Traceability and Conflict Debugging for AspectLTL Programs"'''. Submitted.<br />
<br />
<br />
== Demo ==<br />
<br />
{{#evp:youtubehd|eFd2ygmdbw0|AspectLTL Demo Video}}</div>Yanivhttp://aspectltl.ysaar.net/wiki/index.php?title=AspectLTL&diff=33AspectLTL2011-03-16T15:42:44Z<p>Yaniv: </p>
<hr />
<div><!-- BANNER ACROSS TOP OF PAGE <br />
{| id="mp-topbanner" style="width:100%; height:5em; background:#f6f6f6; margin-top:1.2em; border:1px solid #ddd;"<br />
| style="width:61%; color:#000;" |<br />
{| style="width:280px; border:none; background:none;"<br />
| style="width:280px; text-align:center; white-space:nowrap; color:#000;" |<br />
<div style="font-size:160%; border:none; margin:0; padding:.1em; color:#000;">Welcome to [[AspectLTL]]</div><br />
|}<br />
|} --><br />
<br />
AspectLTL is a temporal-logic based language for<br />
the specification and implementation of crosscutting concerns.<br />
<br />
AspectLTL enables the modular declarative specification of expressive concerns, covering the addition of new<br />
behaviors, as well as the specification of safety and liveness<br />
properties. Moreover, given an AspectLTL specification,<br />
consisting of a base system and a set of aspects, we<br />
provide AspectLTL with a composition and synthesis-based<br />
weaving process, whose output is a correct-by-construction<br />
executable artifact. The language is supported by a prototype<br />
tool and is demonstrated using running examples.<br />
<br />
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. To appear.<br />
<br />
== Resources ==<br />
<br />
* [[Media:Guide1.1.3a.pdf|A Programmer's Guide to AspectLTL]].<br />
<br />
* The Eclipse update site for the AspectLTL plug-in is http://aspectltl.ysaar.net/updatesite/.<br />
Note that AspectLTL plugin v1.3.1 (available through the update site since Mar. 10), requires Eclipse 3.6.0 or above.<br />
<br />
<br />
== References ==<br />
<br />
* 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. To appear. [[Media:aspectltl-aosd11.pdf|paper download]]<br />
<br />
* S. Maoz and Y. Sa'ar, '''"Two-Way Traceability and Conflict Debugging for AspectLTL Programs"'''. Submitted.<br />
<br />
<br />
== Demo ==<br />
<br />
{{#evp:youtubehd|eFd2ygmdbw0|AspectLTL Demo Video}}</div>Yanivhttp://aspectltl.ysaar.net/wiki/index.php?title=AspectLTL&diff=32AspectLTL2011-03-16T15:32:10Z<p>Yaniv: </p>
<hr />
<div><!-- BANNER ACROSS TOP OF PAGE <br />
{| id="mp-topbanner" style="width:100%; height:5em; background:#f6f6f6; margin-top:1.2em; border:1px solid #ddd;"<br />
| style="width:61%; color:#000;" |<br />
{| style="width:280px; border:none; background:none;"<br />
| style="width:280px; text-align:center; white-space:nowrap; color:#000;" |<br />
<div style="font-size:160%; border:none; margin:0; padding:.1em; color:#000;">Welcome to [[AspectLTL]]</div><br />
|}<br />
|} --><br />
<br />
AspectLTL is a temporal-logic based language for<br />
the specification and implementation of crosscutting concerns.<br />
<br />
AspectLTL enables the modular declarative specification of expressive concerns, covering the addition of new<br />
behaviors, as well as the specification of safety and liveness<br />
properties. Moreover, given an AspectLTL specification,<br />
consisting of a base system and a set of aspects, we<br />
provide AspectLTL with a composition and synthesis-based<br />
weaving process, whose output is a correct-by-construction<br />
executable artifact. The language is supported by a prototype<br />
tool and is demonstrated using running examples.<br />
<br />
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. To appear.<br />
<br />
== Resources ==<br />
<br />
* [[Media:Guide1.1.3a.pdf|A Programmer's Guide to AspectLTL]].<br />
<br />
* The Eclipse update site for the AspectLTL plug-in is http://aspectltl.ysaar.net/updatesite/.<br />
Note that AspectLTL plugin v1.3.1 (available through the update site since Mar. 10), requires Eclipse 3.6.0 or above.<br />
<br />
<br />
== References ==<br />
<br />
* 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. To appear. [[Media:aspectltl-aosd11.pdf|paper download]]<br />
<br />
* S. Maoz and Y. Sa'ar, '''"Two-Way Traceability and Conflict Debugging for AspectLTL Programs"'''. Submitted.<br />
<br />
<br />
== ==<br />
<br />
{{#evp:youtubehd|eFd2ygmdbw0|AspectLTL Demo Video}}</div>Yanivhttp://aspectltl.ysaar.net/wiki/index.php?title=AspectLTL&diff=31AspectLTL2011-03-14T23:32:22Z<p>Yaniv: </p>
<hr />
<div><!-- BANNER ACROSS TOP OF PAGE <br />
{| id="mp-topbanner" style="width:100%; height:5em; background:#f6f6f6; margin-top:1.2em; border:1px solid #ddd;"<br />
| style="width:61%; color:#000;" |<br />
{| style="width:280px; border:none; background:none;"<br />
| style="width:280px; text-align:center; white-space:nowrap; color:#000;" |<br />
<div style="font-size:160%; border:none; margin:0; padding:.1em; color:#000;">Welcome to [[AspectLTL]]</div><br />
|}<br />
|} --><br />
<br />
AspectLTL is a temporal-logic based language for<br />
the specification and implementation of crosscutting concerns.<br />
<br />
AspectLTL enables the modular declarative specification of expressive concerns, covering the addition of new<br />
behaviors, as well as the specification of safety and liveness<br />
properties. Moreover, given an AspectLTL specification,<br />
consisting of a base system and a set of aspects, we<br />
provide AspectLTL with a composition and synthesis-based<br />
weaving process, whose output is a correct-by-construction<br />
executable artifact. The language is supported by a prototype<br />
tool and is demonstrated using running examples.<br />
<br />
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. To appear.<br />
<br />
== Resources ==<br />
<br />
* [[Media:Guide1.1.3a.pdf|A Programmer's Guide to AspectLTL]].<br />
<br />
* The Eclipse update site for the AspectLTL plug-in is http://aspectltl.ysaar.net/updatesite/.<br />
Note that AspectLTL plugin v1.3.1 (available through the update site since Mar. 10), requires Eclipse 3.6.0 or above.<br />
<br />
<br />
== References ==<br />
<br />
* 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. To appear. [[Media:aspectltl-aosd11.pdf|paper download]]<br />
<br />
* S. Maoz and Y. Sa'ar, '''"Two-Way Traceability and Conflict Debugging for AspectLTL Programs"'''. Submitted.</div>Yanivhttp://aspectltl.ysaar.net/wiki/index.php?title=AspectLTL&diff=30AspectLTL2011-03-14T23:32:02Z<p>Yaniv: </p>
<hr />
<div><!-- BANNER ACROSS TOP OF PAGE <br />
{| id="mp-topbanner" style="width:100%; height:5em; background:#f6f6f6; margin-top:1.2em; border:1px solid #ddd;"<br />
| style="width:61%; color:#000;" |<br />
{| style="width:280px; border:none; background:none;"<br />
| style="width:280px; text-align:center; white-space:nowrap; color:#000;" |<br />
<div style="font-size:160%; border:none; margin:0; padding:.1em; color:#000;">Welcome to [[AspectLTL]]</div><br />
|}<br />
|} --><br />
<br />
AspectLTL is a temporal-logic based language for<br />
the specification and implementation of crosscutting concerns.<br />
<br />
AspectLTL enables the modular declarative specification of expressive concerns, covering the addition of new<br />
behaviors, as well as the specification of safety and liveness<br />
properties. Moreover, given an AspectLTL specification,<br />
consisting of a base system and a set of aspects, we<br />
provide AspectLTL with a composition and synthesis-based<br />
weaving process, whose output is a correct-by-construction<br />
executable artifact. The language is supported by a prototype<br />
tool and is demonstrated using running examples.<br />
<br />
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. To appear.<br />
<br />
== Resources ==<br />
<br />
* [[Media:Guide1.1.3a.pdf|A Programmer's Guide to AspectLTL]].<br />
<br />
* The Eclipse update site for the AspectLTL plug-in is http://aspectltl.ysaar.net/updatesite/.<br />
Note that AspectLTL plugin v1.3.1 (available through the update site since Mar. 14), requires Eclipse 3.6.0 or above.<br />
<br />
<br />
== References ==<br />
<br />
* 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. To appear. [[Media:aspectltl-aosd11.pdf|paper download]]<br />
<br />
* S. Maoz and Y. Sa'ar, '''"Two-Way Traceability and Conflict Debugging for AspectLTL Programs"'''. Submitted.</div>Yanivhttp://aspectltl.ysaar.net/wiki/index.php?title=AspectLTL&diff=29AspectLTL2011-03-10T13:26:54Z<p>Yaniv: </p>
<hr />
<div><!-- BANNER ACROSS TOP OF PAGE <br />
{| id="mp-topbanner" style="width:100%; height:5em; background:#f6f6f6; margin-top:1.2em; border:1px solid #ddd;"<br />
| style="width:61%; color:#000;" |<br />
{| style="width:280px; border:none; background:none;"<br />
| style="width:280px; text-align:center; white-space:nowrap; color:#000;" |<br />
<div style="font-size:160%; border:none; margin:0; padding:.1em; color:#000;">Welcome to [[AspectLTL]]</div><br />
|}<br />
|} --><br />
<br />
AspectLTL is a temporal-logic based language for<br />
the specification and implementation of crosscutting concerns.<br />
<br />
AspectLTL enables the modular declarative specification of expressive concerns, covering the addition of new<br />
behaviors, as well as the specification of safety and liveness<br />
properties. Moreover, given an AspectLTL specification,<br />
consisting of a base system and a set of aspects, we<br />
provide AspectLTL with a composition and synthesis-based<br />
weaving process, whose output is a correct-by-construction<br />
executable artifact. The language is supported by a prototype<br />
tool and is demonstrated using running examples.<br />
<br />
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. To appear.<br />
<br />
== Resources ==<br />
<br />
* [[Media:Guide1.1.3a.pdf|A Programmer's Guide to AspectLTL]].<br />
<br />
* The Eclipse update site for the AspectLTL plug-in is http://aspectltl.ysaar.net/updatesite/.<br />
Note that AspectLTL plugin v1.3.0 (available through the update site since Mar. 10), requires Eclipse 3.6.0 or above.<br />
<br />
<br />
== References ==<br />
<br />
* 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. To appear. [[Media:aspectltl-aosd11.pdf|paper download]]<br />
<br />
* S. Maoz and Y. Sa'ar, '''"Two-Way Traceability and Conflict Debugging for AspectLTL Programs"'''. Submitted.</div>Yanivhttp://aspectltl.ysaar.net/wiki/index.php?title=AspectLTL&diff=28AspectLTL2011-03-10T07:39:37Z<p>Yaniv: </p>
<hr />
<div><!-- BANNER ACROSS TOP OF PAGE <br />
{| id="mp-topbanner" style="width:100%; height:5em; background:#f6f6f6; margin-top:1.2em; border:1px solid #ddd;"<br />
| style="width:61%; color:#000;" |<br />
{| style="width:280px; border:none; background:none;"<br />
| style="width:280px; text-align:center; white-space:nowrap; color:#000;" |<br />
<div style="font-size:160%; border:none; margin:0; padding:.1em; color:#000;">Welcome to [[AspectLTL]]</div><br />
|}<br />
|} --><br />
<br />
AspectLTL is a temporal-logic based language for<br />
the specification and implementation of crosscutting concerns.<br />
<br />
AspectLTL enables the modular declarative specification of expressive concerns, covering the addition of new<br />
behaviors, as well as the specification of safety and liveness<br />
properties. Moreover, given an AspectLTL specification,<br />
consisting of a base system and a set of aspects, we<br />
provide AspectLTL with a composition and synthesis-based<br />
weaving process, whose output is a correct-by-construction<br />
executable artifact. The language is supported by a prototype<br />
tool and is demonstrated using running examples.<br />
<br />
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. To appear.<br />
<br />
== Resources ==<br />
<br />
* [[Media:Guide1.1.3a.pdf|A Programmer's Guide to AspectLTL]].<br />
<br />
* The Eclipse update site for the AspectLTL plug-in is http://aspectltl.ysaar.net/updatesite/.<br />
<br />
<br />
== References ==<br />
<br />
* 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. To appear. [[Media:aspectltl-aosd11.pdf|paper download]]<br />
<br />
* S. Maoz and Y. Sa'ar, '''"Two-Way Traceability and Conflict Debugging for AspectLTL Programs"'''. Submitted.</div>Yanivhttp://aspectltl.ysaar.net/wiki/index.php?title=AspectLTL&diff=22AspectLTL2010-12-13T13:34:07Z<p>Yaniv: </p>
<hr />
<div><!-- BANNER ACROSS TOP OF PAGE <br />
{| id="mp-topbanner" style="width:100%; height:5em; background:#f6f6f6; margin-top:1.2em; border:1px solid #ddd;"<br />
| style="width:61%; color:#000;" |<br />
{| style="width:280px; border:none; background:none;"<br />
| style="width:280px; text-align:center; white-space:nowrap; color:#000;" |<br />
<div style="font-size:160%; border:none; margin:0; padding:.1em; color:#000;">Welcome to [[AspectLTL]]</div><br />
|}<br />
|} --><br />
<br />
AspectLTL is a temporal-logic based language for<br />
the specification and implementation of crosscutting concerns.<br />
<br />
AspectLTL enables the modular declarative specification of expressive concerns, covering the addition of new<br />
behaviors, as well as the specification of safety and liveness<br />
properties. Moreover, given an AspectLTL specification,<br />
consisting of a base system and a set of aspects, we<br />
provide AspectLTL with a composition and synthesis-based<br />
weaving process, whose output is a correct-by-construction<br />
executable artifact. The language is supported by a prototype<br />
tool and is demonstrated using running examples.<br />
<br />
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. To appear.<br />
<br />
== Resources ==<br />
<br />
* [[Media:Guide1.1.3a.pdf|A Programmer's Guide to AspectLTL]].<br />
<br />
* The Eclipse update site for the AspectLTL plug-in is http://aspectltl.ysaar.net/updatesite/.<br />
<br />
<br />
== References ==<br />
<br />
* S. Maoz and Y. Sa'ar, "AspectLTL: An Aspect Language for LTL Specifications", AOSD'11. [[Media:Aosd11draft.pdf|draft version]].</div>Yanivhttp://aspectltl.ysaar.net/wiki/index.php?title=File:Guide1.1.3a.pdf&diff=21File:Guide1.1.3a.pdf2010-12-13T13:33:15Z<p>Yaniv: A Programmer’s Guide to AspectLTL
(Plug-in version 1.1.3, December 2010)</p>
<hr />
<div>A Programmer’s Guide to AspectLTL<br />
(Plug-in version 1.1.3, December 2010)</div>Yanivhttp://aspectltl.ysaar.net/wiki/index.php?title=AspectLTL&diff=19AspectLTL2010-12-13T10:50:07Z<p>Yaniv: </p>
<hr />
<div><!-- BANNER ACROSS TOP OF PAGE <br />
{| id="mp-topbanner" style="width:100%; height:5em; background:#f6f6f6; margin-top:1.2em; border:1px solid #ddd;"<br />
| style="width:61%; color:#000;" |<br />
{| style="width:280px; border:none; background:none;"<br />
| style="width:280px; text-align:center; white-space:nowrap; color:#000;" |<br />
<div style="font-size:160%; border:none; margin:0; padding:.1em; color:#000;">Welcome to [[AspectLTL]]</div><br />
|}<br />
|} --><br />
<br />
AspectLTL is a temporal-logic based language for<br />
the specification and implementation of crosscutting concerns.<br />
<br />
AspectLTL enables the modular declarative specification of expressive concerns, covering the addition of new<br />
behaviors, as well as the specification of safety and liveness<br />
properties. Moreover, given an AspectLTL specification,<br />
consisting of a base system and a set of aspects, we<br />
provide AspectLTL with a composition and synthesis-based<br />
weaving process, whose output is a correct-by-construction<br />
executable artifact. The language is supported by a prototype<br />
tool and is demonstrated using running examples.<br />
<br />
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. To appear.<br />
<br />
== Resources ==<br />
<br />
* [[Media:aspectLTLpg1.0.pdf|A Programmer's Guide to AspectLTL]].<br />
<br />
* The eclipse update site for the AspectLTL plug-in is http://aspectltl.ysaar.net/updatesite/.<br />
<br />
<br />
== References ==<br />
<br />
* S. Maoz and Y. Sa'ar, "AspectLTL: An Aspect Language for LTL Specifications", AOSD'11, [[Media:Aosd11draft.pdf|draft version]].</div>Yanivhttp://aspectltl.ysaar.net/wiki/index.php?title=AspectLTL&diff=18AspectLTL2010-12-13T10:49:33Z<p>Yaniv: </p>
<hr />
<div><!-- BANNER ACROSS TOP OF PAGE <br />
{| id="mp-topbanner" style="width:100%; height:5em; background:#f6f6f6; margin-top:1.2em; border:1px solid #ddd;"<br />
| style="width:61%; color:#000;" |<br />
{| style="width:280px; border:none; background:none;"<br />
| style="width:280px; text-align:center; white-space:nowrap; color:#000;" |<br />
<div style="font-size:160%; border:none; margin:0; padding:.1em; color:#000;">Welcome to [[AspectLTL]]</div><br />
|}<br />
|} --><br />
<br />
AspectLTL is a temporal-logic based language for<br />
the specification and implementation of crosscutting concerns.<br />
<br />
AspectLTL enables the modular declarative specification of expressive concerns, covering the addition of new<br />
behaviors, as well as the specification of safety and liveness<br />
properties. Moreover, given an AspectLTL specification,<br />
consisting of a base system and a set of aspects, we<br />
provide AspectLTL with a composition and synthesis-based<br />
weaving process, whose output is a correct-by-construction<br />
executable artifact. The language is supported by a prototype<br />
tool and is demonstrated using running examples.<br />
<br />
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. To appear.<br />
<br />
== Resources ==<br />
<br />
* [[Media:aspectLTLpg1.0.pdf|A Programmer's Guide to AspectLTL]].<br />
<br />
* The eclipse update site for the AspectLTL plug-in is http://aspectltl.ysaar.net/updatesite/.<br />
<br />
<br />
== References ==<br />
<br />
* S. Maoz and Y. Sa'ar, "AspectLTL: An Aspect Language for LTL Specifications", AOSD'11, [[Media:Aosd11draft.pdf|-- draft version]].</div>Yanivhttp://aspectltl.ysaar.net/wiki/index.php?title=File:Aosd11draft.pdf&diff=17File:Aosd11draft.pdf2010-12-13T10:47:00Z<p>Yaniv: A draft version of the aosd 2011 paper</p>
<hr />
<div>A draft version of the aosd 2011 paper</div>Yanivhttp://aspectltl.ysaar.net/wiki/index.php?title=AspectLTL&diff=16AspectLTL2010-12-06T05:54:26Z<p>Yaniv: </p>
<hr />
<div><!-- BANNER ACROSS TOP OF PAGE <br />
{| id="mp-topbanner" style="width:100%; height:5em; background:#f6f6f6; margin-top:1.2em; border:1px solid #ddd;"<br />
| style="width:61%; color:#000;" |<br />
{| style="width:280px; border:none; background:none;"<br />
| style="width:280px; text-align:center; white-space:nowrap; color:#000;" |<br />
<div style="font-size:160%; border:none; margin:0; padding:.1em; color:#000;">Welcome to [[AspectLTL]]</div><br />
|}<br />
|} --><br />
<br />
AspectLTL is a temporal-logic based language for<br />
the specification and implementation of crosscutting concerns.<br />
<br />
AspectLTL enables the modular declarative specification of expressive concerns, covering the addition of new<br />
behaviors, as well as the specification of safety and liveness<br />
properties. Moreover, given an AspectLTL specification,<br />
consisting of a base system and a set of aspects, we<br />
provide AspectLTL with a composition and synthesis-based<br />
weaving process, whose output is a correct-by-construction<br />
executable artifact. The language is supported by a prototype<br />
tool and is demonstrated using running examples.<br />
<br />
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. To appear.<br />
<br />
== Resources ==<br />
<br />
* [[Media:aspectLTLpg1.0.pdf|A Programmer's Guide to AspectLTL]].<br />
<br />
* The eclipse update site for the AspectLTL plug-in is http://aspectltl.ysaar.net/updatesite/.<br />
<br />
<br />
== References ==<br />
<br />
* S. Maoz and Y. Sa'ar, "AspectLTL: An Aspect Language for LTL Specifications", AOSD'11.</div>Yanivhttp://aspectltl.ysaar.net/wiki/index.php?title=File:PPS06.pdf&diff=13File:PPS06.pdf2010-11-28T16:39:38Z<p>Yaniv: Design Synthesis in Action: Solving a 2EXPTIME-Complete Problem in Time N^3</p>
<hr />
<div>Design Synthesis in Action: Solving a 2EXPTIME-Complete Problem in Time N^3</div>Yanivhttp://aspectltl.ysaar.net/wiki/index.php?title=MediaWiki:Mainpage&diff=9MediaWiki:Mainpage2010-09-29T03:17:10Z<p>Yaniv: Created page with "AspectLTL"</p>
<hr />
<div>AspectLTL</div>Yaniv