Detecting interferences in aspect oriented programs
Jimmy Lauret, Jean-Charles Fabre, Hélène Waeselynck · 2011
Aspect-oriented software development (AOSD) is a technique that helps software evolution by separating different concerns in different aspects and advices. Unfortunately, it still suffers from well-known composition issues, in particular from runtime interferences when multiple concerns are applied at the same join point. This paper identifies the set of observation points required to perform the verification of non-interference properties as executable assertions in an AO program. We then compare two languages according to these observation points, and discuss their advantages and drawbacks.