Static Analysis of Aspect Interaction and Composition in Component Models

Abdelhakim Hannousse (1, 2) , Rémi Douence (2) , Gilles Ardourel (1)

1 LINA - Laboratoire d'Informatique de Nantes Atlantique
2 ASCOLA - Aspect and composition languages

Component based software engineering and aspect orientation are claimed to be two complementary approaches. While the former ensures the modularity and the reusability of software entities, the latter enables the modularity of crosscutting concerns that cannot be modularized by regular components. Nowadays, several approaches and frameworks are dedicated to integrate aspects into component models. However, when several aspects are woven, interferences may appear which results on undesirable behaviors. The contribution of this paper is twofold. First, we show how aspectualized component models can be formally modeled in Uppaal model checker in order to detect potential interferences among aspects. Second, we provide an extendible catalog of composition operators used for aspect composition. We illustrate our general approach with an airport Internet service example.

Mots clés: Aspect composition patterns; Model checking; Aspect interference analysis

Domaines: Génie logiciel [cs.SE]

Abdelhakim Hannousse, Rémi Douence, Gilles Ardourel. Static Analysis of Aspect Interaction and Composition in Component Models. the 10th International Conference on Generative Programming and Component Engineering (GPCE'11), Oct 2011, Portland, Oregon, United States. pp.18. ⟨hal-00606270v2⟩