Aspectualiser les modèles de composants : implémentation et analyse d'interférence
Auteur / Autrice : | Abdelhakim Hannousse |
Direction : | Mario Südholt |
Type : | Thèse de doctorat |
Discipline(s) : | Informatique |
Date : | Soutenance le 14/11/2011 |
Etablissement(s) : | Nantes, Ecole des Mines |
Ecole(s) doctorale(s) : | École doctorale Sciences et technologies de l'information et mathématiques (Nantes) |
Partenaire(s) de recherche : | Laboratoire : ASCOLA. ASpect and COmposition LAnguages - Laboratoire d’Informatique de Nantes Atlantique (UMR 6241) (Nantes) |
Jury : | Président / Présidente : Jean-Marc Jézéquel |
Examinateurs / Examinatrices : Mario Südholt, Laurence Duchien, Isabelle Borne, Rémi Douence, Gilles Ardourel | |
Rapporteurs / Rapporteuses : Laurence Duchien, Isabelle Borne |
Mots clés
Mots clés contrôlés
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.