Detection of Interferences in Aspect-Oriented Programs Using Executable Assertions

Abstract

Aspect-oriented programming (AOP) is a technique that promotes separation of concerns. Unfortunately, it still suffers from well-known composition issues, in particular from undesirable interferences when multiple concerns are applied at the same join point. In this paper we propose an approach to detect interferences side effect using executable assertions. The assertions are inserted in the aspect chain to detect various types of interferences. The implementation is based on the AIRIA resolver construct, recently introduced to better control conflicting aspects in AspectJ. Resolvers add observation points that were lacking in AspectJ. We propose to take advantage of this to implement automated detection of interferences at execution time. We study the feasibility of this approach and demonstrate it on artificial examples.

Resolution of Interfering Product Fragments in Software Product Line Engineering

“…Aspects are developed as separate units which can be applied independently. Lauret et al [25] state that AOP suffers from a well-known composition issue i.e. several concerns are applied to the same join point.…”

Architecting resilient computing systems: A component-based approach for adaptive fault tolerance

“…Inconsistency analysis of FTMs composition has been addressed in our previous works. The interested reader is referred to [17,18] for details.…”

Identification and Removal of Interfernce in Aspectj Programs

“…Lauret [9] avoids undesirable interference by mandatory control of order of execution of conflicting advices. In this work, executable assertions were used to model the code by attaching non-interference requirements to the composition of advices.…”

“…Find bugs [9] is an open source program created by Bill Pugh and David Hovemeyer which looks for bugs in a given Java code. It uses static analysis to identify hundreds of potentially different types of errors in Java programs.…”