Skip to Main content Skip to Navigation
Conference papers

Improving Maintenance in AOP Through an Interaction Specification Framework

Freddy Munoz 1 Benoit Baudry 1 Olivier Barais 1
1 TRISKELL - Reliable and efficient component based software engineering
IRISA - Institut de Recherche en Informatique et Systèmes Aléatoires, Inria Rennes – Bretagne Atlantique
Abstract : The invasiveness of aspects is beneficial to modularize crosscutting concerns that require the modification of the data or control flow. However, it introduces subtle errors that are hard to locate and fix in case of evolution. In this paper we illustrate this issue by evolving a program implemented using aspects. Interaction issues, between aspects and the program, emerge from this evolution. We locate them through manual inspection and test execution. This tedious process motivates the need for an abstract specification of intended interactions. To tackle this issue, we propose a framework for specifying the types of invasiveness pattern that are allowed of forbidden in the program. We have also implemented a tool that automatically checks whether the specification is satisfied by the aspects.
Document type :
Conference papers
Complete list of metadata
Contributor : Didier Vojtisek Connect in order to contact the contributor
Submitted on : Monday, February 15, 2010 - 11:51:17 AM
Last modification on : Tuesday, June 15, 2021 - 4:27:29 PM
Long-term archiving on: : Thursday, October 18, 2012 - 3:07:10 PM


Files produced by the author(s)


  • HAL Id : inria-00456504, version 1


Freddy Munoz, Benoit Baudry, Olivier Barais. Improving Maintenance in AOP Through an Interaction Specification Framework. ICSM08, 24th International conference on Software Maintentance, 2008, Beijing, China, China. ⟨inria-00456504⟩



Les métriques sont temporairement indisponibles