Durr, P.E.A. and Bergmans, L.M.J. and Akşit, M.
Static and Dynamic Detection of Behavioral Conflicts between Aspects.
Technical Report TR-CTIT-07-23,
Centre for Telematics and Information Technology University of Twente, Enschede.
Full text available as:
Aspects have been successfully promoted as a means to improve the modularization of software in the presence of crosscutting concerns.
The so-called aspect interference problem is considered to be one of the remaining challenges of aspect-oriented software development: aspects may interfere with the behavior of the base code or other aspects.
Especially interference between aspects is difficult to prevent, as this may be caused solely by the composition of aspects that behave correctly in isolation. A typical situation where this may occur is when multiple advices are applied at the same, or shared, join point.
In  we explained the problem of behavioral conflicts between aspects at shared join points. We presented an approach for the detection of behavioral conflicts that is based on a novel abstraction model for representing the behavior of advice. This model allows the expression of both primitive and complex behavior in a simple manner that is suitable for automated conflict detection. The presented approach employs a set of conflict detection rules, which can be used to detect both generic conflicts, as well as, domain- or application specific conflicts.
The application of the approach to Compose*, which is an implementation of Composition Filters, demonstrates how the use of a declarative advice language can be exploited for aiding automated conflict detection.
This paper presents the need for and a possible approach to a runtime extension to the described static approach. The approach uses the declarative language of Composition Fillers. This allows us to reason efficiently about the behavior of aspects. It also enables us to detect these conflicts with minimal overhead at runtime.
: P. Durr, L. Bergmans, and M. Aksit. Reasoning about semantic conflicts between aspects. In R.Chitchyan, J. Fabry, L. Bergmans, A. Nedos, and A. Rensink, editors, Proceedings of ADI'06 Aspect, Dependencies, and Interactions Workshop, pages 10-18. Lancaster University, Lancaster University, Jul 2006.
|Item Type:||Internal Report (Technical Report)|
|Research Group:||EWI-SE: Software Engineering|
|Research Program:||CTIT-DSN: Dependable Systems and Networks|
|Research Project:||ESI/IDEALS: Idiom Design for Embedded Applications on Large Scale|
|Deposited On:||20 September 2007|
Export this item as:
To correct this item please ask your editor
Repository Staff Only: edit this item