AspectLTL: an aspect language for LTL specifications

@inproceedings{Maoz2011AspectLTLAA,
  title={AspectLTL: an aspect language for LTL specifications},
  author={Shahar Maoz and Yaniv Sa'ar},
  booktitle={AOSD '11},
  year={2011}
}
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… CONTINUE READING

Figures and Topics from this paper.

Citations

Publications citing this paper.
SHOWING 1-10 OF 20 CITATIONS

Two-way traceability and conflict debugging for AspectLTL programs

VIEW 6 EXCERPTS
CITES METHODS & BACKGROUND

Spectra: A Specification Language for Reactive Systems

VIEW 1 EXCERPT
CITES BACKGROUND

References

Publications referenced by this paper.
SHOWING 1-4 OF 4 REFERENCES

Aspect Categories and Classes of Temporal Properties

  • Shmuel Katz
  • Computer Science
  • Trans. Aspect-Oriented Software Development I
  • 2006
VIEW 9 EXCERPTS
HIGHLY INFLUENTIAL

An Overview of AspectJ

VIEW 7 EXCERPTS
HIGHLY INFLUENTIAL

MAVEN: Modular Aspect Verification

VIEW 7 EXCERPTS
HIGHLY INFLUENTIAL

The Temporal Logic of Concurrent Systems

VIEW 3 EXCERPTS
HIGHLY INFLUENTIAL