Aspectualizing Component Models : implementation and Interferences Analysis

par Abdelhakim Hannousse

Thèse de doctorat en Informatique

Sous la direction de Mario Südholt.

Soutenue le 14-11-2011

à Nantes, Ecole des Mines , dans le cadre de École doctorale sciences et technologies de l'information et de mathématiques (Nantes) , en partenariat avec ASCOLA. ASpect and COmposition LAnguages (équipe de recherche) , Laboratoire d’Informatique de Nantes Atlantique (UMR 6241) (Nantes) (laboratoire) , Laboratoire d'Informatique de Nantes Atlantique / LINA (laboratoire) et de ASCOLA / INRIA - EMN (laboratoire) .

Le président du jury était Jean-Marc Jézéquel.

Le jury était composé de Mario Südholt, Laurence Duchien, Isabelle Borne, Rémi Douence, Gilles Ardourel.

Les rapporteurs étaient Laurence Duchien, Isabelle Borne.

  • Titre traduit

    Aspectualiser les modèles de composants : implémentation et analyse d'interférence


  • Résumé

    L'utilisation d'AOP pour modéliser les préoccupations transverses ou non modulaire de CBSE assure une meilleure modularité et réutilisabilité des composants. Dans ce cadre, nous proposons une approche générique pour modéliser les aspects dans les modèles à composants. Nous modélisons un aspect par un wrapper sur une vue de système. Une vue décrit une configuration adéquate du système où tous les composants dans l'intérêt d'un aspect sont encapsulés dans le même composite. Pour la définition des vues, nous définissons un langage déclaratif VIL. Nous illustrons comment les vues sont mises en œuvre dans des modèles à composants (ex., Fractal), et nous fournissons un modèle formel pour l'analyse des interférences d'aspects. Les composants et les aspects sont modélisés par des automates et Uppaal est utilisé pour détecter les interférences. Pour la résolution d'interférences, nous fournissons un ensemble d'opérateurs de composition. Notre approche est illustrée par un exemple : l'accès wifi dans un aéroport.


  • Résumé

    Using AOP to model non-modular concerns in CBSE ensures better modularity and reusability of components. In this thesis, 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). 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 an airport wireless access example.


Il est disponible au sein de la bibliothèque de l'établissement de soutenance.

Consulter en bibliothèque

La version de soutenance existe

Où se trouve cette thèse ?

  • Bibliothèque : Ecole nationale supérieure des techniques industrielles et des mines. Centre de documentation.
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.