Le développement de logiciels prépondérants se base actuellement sur les Systèmes d'Information d'Entreprise (SIE). Ces derniers permettent l'intégration d'éléments hétérogènes (briques logicielles, composants, frameworks...) dans le but d'acquérir une méthodologie homogène commune à tous les projets de l'entreprise.En parallèle de cela et en raison de la complexité de ces applications et des délais de développement de plus en plus courts exigés, le développement de logiciels prépondérant s'ouvre aux techniques d'Ingénierie Dirigée par les Modèles (IDM). Il n'en reste pas moins que malgré ces efforts les techniques classiques de validation des logiciels prépondérants (tests, simulation, méthodes formelles) restent longues, fastidieuses et coûteuses. Il devient alors essentiel d'intégrer aussi la validation dans le cadre de l'IDM afinn qu'elle bénéficie des mêmes avantages (raccourcir les délais de tests, détecter aux plus tôt les conflits...).

Tel est le défit de la thèse : aider à la validation d'un assemblages de composants hétérogènes au sein d'une méthodologie dirigée par les modèles.Dans ce contexte nous proposons une validation guidée à travers un atelier logiciel permettant :

(objectif 1) de capitaliser les connaissances de l'entreprise (solutions sémantiques et comportementales apportées lors des phases de développement) par l'utilisation d'un formalisme commun : les patterns architecturaux (ensemble de modèles solutions de problèmes donnés).
(objectif 2) de garantir une méthode homogène mais flexible pour enrichir un assemblage en terme de composants,méthodes, interface et autre... : enrichissement par multi-applications de patterns architecturaux.
(objectif 3) de garantir un développement flexible mais contrôlé afin de détecter au plus tôt les conflits liés à l'intégration des patterns architecturaux : mise en place de règles de détections de conflits liées à l'application des patterns.

[2009] Clémentine Nemo, Mireille Blay-Fornarino. "Collaborative Modeling for Integrating Security Properties on a Medical Sharing Application" Research Report University of Nice, I3S CNRS, 45 pages, Sophia Antipolis, France, jul 2009
I3S/RR-2009-09-FR
http://rainbow.polytech.unice.fr/publis/nemo-blay-fornarino:2009a.pdf[BibTeX]

[2008] Clémentine Nemo, Mireille Blay-Fornarino, Michel Riveill. "Multi-Applications de Patterns - Formalisation" in Proceedings of the 4ième Journée sur l'Ingénierie Dirigée par les Modèles (IDM'08), Mulhouse (France), 5-6 june 2008
http://rainbow.polytech.unice.fr/publis/nemo-blay-fornarino-etal:2008.pdf [BibTeX]