Temporal Assertions using AspectJ | Zendy

Volker Stolz | Zendy; Eric Bodden | Zendy

AI Assistant Blog Pricing

Home ZAIA Blog

Open Access

Temporal Assertions using AspectJ

Author(s) -

Volker Stolz,

Eric Bodden

Publication year - 2006

Publication title -

electronic notes in theoretical computer science

Language(s) - English

Resource type - Journals

SCImago Journal Rank - 0.242

H-Index - 60

ISSN - 1571-0661

DOI - 10.1016/j.entcs.2006.02.007

Subject(s) - aspectj , programming language , computer science , bytecode , java , aspect oriented programming , lock (firearm) , software , engineering , mechanical engineering

We present a runtime verification framework for Java programs. Properties can be specified in Linear-time Temporal Logic (LTL) over AspectJ pointcuts. These properties are checked during program-execution by an automaton-based approach where transitions are triggered through aspects. No Java source code is necessary since AspectJ works on the bytecode level, thus even allowing instrumentation of third-party applications. As an example, we discuss safety properties and lock-order reversal

The content you want is available to Zendy users.

Already have an account? Click here to sign in.

Having issues? You can contact us here

Accelerating Research