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 metadatas

https://hal.inria.fr/inria-00456504
Contributor : Didier Vojtisek <>
Submitted on : Monday, February 15, 2010 - 11:51:17 AM
Last modification on : Friday, November 16, 2018 - 1:31:00 AM
Long-term archiving on : Thursday, October 18, 2012 - 3:07:10 PM

File

munoz2008b.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : inria-00456504, version 1

Citation

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⟩

Share

Metrics

Record views

341

Files downloads

163