Paper Info
Title
AspectLTL: an aspect language for LTL specifications
Abstract
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.
Year
DOI
Venue
2011
10.1145/1960275.1960280
AOSD
Keywords
Field
DocType
crosscutting concern,aspectltl specification,modular declarative specification,aspect language,liveness property,new behavior,correct-by-construction executable artifact,prototype tool,base system,expressive concern,aspect oriented programming,linear temporal logic,temporal logic
Specification language,Programming language specification,Programming language,Aspect-oriented programming,Computer science,Real-time computing,Linear temporal logic,Language Of Temporal Ordering Specification,Modular design,Executable,Liveness
Conference
Citations 
PageRank 
References 
8
0.59
22
Authors
2
Name
Order
Citations
PageRank
Shahar Maoz163342.09
Yaniv Sa'ar223014.70