Aspectualizing Component Models
Implementation and Interferences Analysis
Using Aspect-oriented programming to model non-modular concerns in Component-based software engineering ensures better modularity and reusability of components.
In this book, we provide a model independent approach for modeling aspects in component models.
In the approach we model aspects as wrappers on views of component systems.
A view describes an adequate component system configuration where all the components of interest of an aspect are encapsulated in the same composite.
For declarative definition of views, we provide a declarative language VIL.
We illustrate how views are implemented in component models (e.g., Fractal component model).
We provide a formal framework for aspect interferences analysis.
In the framework, component systems and aspects are modeled as automata and Uppaal model checker is used for the detection of aspect interferences.
For interferences resolution, we provide a set of composition operators as templates to be instantiated for any two arbitrary aspects.
Our approach is illustrated with a running example and a case study.
Abdelhakim Hannousse is an assistant professor at Guelma university of Algeria.
He has obtained his PhD degree from Ecole des Mines de Nantes of France in 2011, and his Magistère degree from Annaba university of Algeria in 2006.
His research interests include: formal methods, software engineering paradigms, aspect and component based models.