TY - GEN
T1 - AspectLTL
T2 - 10th International Conference on Aspect-Oriented Software Development, AOSD.11
AU - Maoz, Shahar
AU - Sa'ar, Yaniv
PY - 2011
Y1 - 2011
N2 - We present AspectLTL, 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 a running example.
AB - We present AspectLTL, 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 a running example.
KW - Aspect-oriented programming
KW - Linear temporal logic
KW - Synthesis
UR - http://www.scopus.com/inward/record.url?scp=79955163470&partnerID=8YFLogxK
U2 - 10.1145/1960275.1960280
DO - 10.1145/1960275.1960280
M3 - ???researchoutput.researchoutputtypes.contributiontobookanthology.conference???
AN - SCOPUS:79955163470
SN - 9781450305563
T3 - Proceedings of the 10th International Conference on Aspect-Oriented Software Development, AOSD.11
SP - 19
EP - 30
BT - Proceedings of the 10th International Conference on Aspect-Oriented Software Development, AOSD.11
Y2 - 21 March 2011 through 25 March 2011
ER -