Méthode et outils de coévolution des profils UML et de leurs modèles : pour une meilleure prise en compte de leurs impacts par les concepteurs

Method and tool for UML profiles and models coevolution : towards a better impact consideration by the designers

• Auteur / Autrice : Fadoi Lakhal
• Direction : Dominique Rieu
• Type : Thèse de doctorat
• Discipline(s) : Informatique
• Date : Soutenance le 22/04/2014
• Etablissement(s) : Paris 11
• Ecole(s) doctorale(s) : Ecole doctorale Informatique de Paris-Sud
• Partenaire(s) de recherche : Laboratoire : Laboratoire d'intégration des systèmes et des technologies (Gif-sur-Yvette, Essonne ; 2001-....)
• Jury : Président / Présidente : Véronique Benzaken
• Jury : Examinateurs / Examinatrices : Dominique Rieu, Véronique Benzaken, Mireille Blay-Fornarino, Jean-Philippe Babau, Hubert Dubois, Laurent Rioux
• Jury : Rapporteurs / Rapporteuses : Mireille Blay-Fornarino, Jean-Philippe Babau

Mots clés

Mots clés contrôlés

Modèles mathématiques

Langages de programmation

UML (informatique)

Mots clés libres

Evolution de profil UML

Opérateur d'évolution

Classification d'impact

Adaptation de modèle

Patron d'évolution

Syntaxe abstraite

UML profile evolution

Evolution operators

Impact classification

Model Adaptation

Evolution pattern

Abstract syntax

Résumé

Les travaux développés dans cette thèse définissent une approche pour la gestion des impacts des évolutions des profils UML sur les modèles instances. Sur la base d'organisation des diverses connaissances identifiées lors de l'analyse des évolutions d'un profil UML, nous proposons un processus automatisé PEM (Profil Evolution Method) permettant l'identification des évolutions a posteriori sous forme de différences, la reconstruction de ces différences en opérations d'évolution conformes au métamodèle UML, la classification de leur impact et, finalement, l'adaptation des modèles à la nouvelle version du profil UML. L'approche intègre également une activité de formalisation et d'utilisation de patrons d'évolution contenant toutes les informations essentielles employées à chaque étape de notre processus. Ces patrons sont employés dans notre système P²E (Papyrus Profile Evolution) pour guider le concepteur des modèles ou des profils, dans la gestion des évolutions d'un profil UML en évaluant efficacement un sous ensemble suffisant et pertinent d'éléments et de paramètres d'évolution d'un profil UML.Les principales contributions de l'approche résident dans la formalisation d'opérateurs d'évolution à partir du métamodèle UML, la proposition d'une classification des impacts des évolutions sur les modèles instances, la modélisation semi-formelle et explicite d'un catalogue de patron d'évolution contenant les solutions d'adaptation à appliquer sur les modèles instances.

This thesis proposes an approach for the management of UML profiles evolutions and their impacts on instance models. Based on the analysis of standardized UML profiles evolutions, we propose an automated process called PEM (Profile Evolution Method) allowing the evolutions identification a posteriori and their representations as differences; the reconstruction of these differences as evolution operations that are compliant with the UML metamodel; their impacts classification and, finally, the instance models adaptation towards the new UML profile version.The approach includes also an activity of formalization of previous knowledge in the form of evolution patterns. The patterns contain all the essential information used at each step in our P²E system (Papyrus Profile Evolution). They guide the models designer or the profiles designer, in the management of the UML profiles evolution by evaluating efficiently a sufficient subset with pertinent evolving elements and their evolution parameters.In this approach, the major contributions consist in the formalization of evolution operators extracted from the UML metamodel, the proposal of an evolution impacts classification, the specification of a pattern catalog that is semi-formal and explicit for the designers. Finally, the specification of adaptation solutions (to adapt the old model versions to the new UML profile version).