«

»

Improving Maintenance in AOP Through an Interaction Specification Framework

by Freddy Munoz, Benoit Baudry, Olivier Barais
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.
Reference:
Improving Maintenance in AOP Through an Interaction Specification Framework (Freddy Munoz, Benoit Baudry, Olivier Barais), In Proceedings of the International conference on Software Maintentance (ICSM), IEEE Computer Society Press, 2008.
Bibtex Entry:
@inproceedings{munoz2008b,
	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.},
	Address = {Beijing, China},
	keywords = {test, AOP},
	Author = {Munoz, Freddy and Baudry, Benoit and Barais, Olivier},
	Booktitle = {Proceedings of the International conference on Software Maintentance (ICSM)},
	Month = {September},
	Publisher = {IEEE Computer Society Press},
	Title = {Improving Maintenance in AOP Through an Interaction Specification Framework},
	Url = {http://www.irisa.fr/triskell/publis/2008/munoz2008b.pdf},
	X-Country = {CN},
	X-International-Audience = {yes},
	X-Language = {EN},
	X-Proceedings = {yes},
	Year = {2008},
	x-abbrv = {ICSM},
}