Sciweavers

Share
TAOSD
2010

A Graph-Based Aspect Interference Detection Approach for UML-Based Aspect-Oriented Models

9 years 10 months ago
A Graph-Based Aspect Interference Detection Approach for UML-Based Aspect-Oriented Models
Abstract. Aspect Oriented Modeling (AOM) techniques facilitate separate modeling of concerns and allow for a more flexible composition of these than traditional modeling technique. While this improves the understandability of each submodel, in order to reason about the behavior of the composed system and to detect conflicts among submodels, automated tool support is required. Current techniques for conflict detection among aspects generally have at least one of the following weaknesses. They require to manually model the abstract semantics for each system; or they derive the system semantics from code assuming one specific aspect-oriented language. Defining an extra semantics model for verification bears the risk of inconsistencies between the actual and the verified design; verifying only at implementation level hinders fixing errors in earlier phases. We propose a technique for fully automatic detection of conflicts between aspects at the model level; more specifically, our...
Selim Ciraci, Wilke Havinga, Mehmet Aksit, Christo
Added 30 Jan 2011
Updated 30 Jan 2011
Type Journal
Year 2010
Where TAOSD
Authors Selim Ciraci, Wilke Havinga, Mehmet Aksit, Christoph Bockisch, Pim van den Broek
Comments (0)
books