Définition et contrôle des politiques d’évolution dans les projets logiciels

Definition and control of evolution politics in software projects

• Auteur / Autrice : Thomas Lévêque
• Direction : Jacky Estublier
• Type : Thèse de doctorat
• Discipline(s) : Informatique
• Date : Soutenance en 2010
• Etablissement(s) : Grenoble
• Ecole(s) doctorale(s) : École doctorale Mathématiques, sciences et technologies de l'information, informatique (Grenoble ; 1995-....)
• Partenaire(s) de recherche : Laboratoire : Laboratoire d'informatique de Grenoble (Isère, France ; 2007-....)
• Partenaire(s) de recherche : Entreprise : STMicroelectronics (Crolles, Isère, France)
• Jury : Président / Présidente : Joëlle Coutaz
• Jury : Examinateurs / Examinatrices : Pascal Molli, Christophe Bourely
• Jury : Rapporteurs / Rapporteuses : Andreas Zeller, Michel Riveill

Mots clés

Mots clés contrôlés

Code source (informatique)

Langages de programmation

Ingénierie dirigée par les modèles

Mots clés libres

Ingénierie dirigée par les modèles

Langages dédiés de modélisation

Dsl

Méta-modélisation

Versionnement

Ingénierie concurrente

Résumé

L'Ingénierie Dirigée par les Modèles (IDM) vise à maitriser la complexité des logiciels en réalisant l'ensemble des activités d'ingénierie sur des modèles du système. A part quelques niches, l'IDM n'est pas encore adoptée par les grands producteurs de logiciels. Nous pensons que l'une des raisons est qu'un logiciel est constitué de modèles et de programmes développés tous deux manuellement. Le développement comme la maintenance font évoluer à la fois modèles et programmes ; il faut versionner modèles et programmes. Les équipes travaillant en parallèle il faut réconcilier les évolutions concurrentes, et surtout contrôler l'ingénierie coopérative. Or nous ne disposons pas aujourd'hui des concepts, mécanismes, e outils permettant de résoudre ces problèmes : nous ne savons pas gérer correctement l'évolution des logiciels en IDM. Cette thèse propose des concepts et des mécanismes permettant de gérer la coévolution des modèles et du code des logiciels à développer dans un domaine particulier, en utilisant un environnement dédié : un CADSE (Computer Aided Domain Specific Engineering environment). Nous proposons de décrire les politiques d'évolution des logiciels au niveau du méta-modèle du CADSE associé. Cette politique garantit la cohérence des versions et des compositions dans chaque espace de travail par une synchronisation dans les deux sens entre le modèle (conforme au méta-modèle du CADSE) et le code. Cette politique définit, garantit et contrôle également la cohérence du travail coopératif entre espaces de travails concurrents.

Model Driven Engineering (MDE) aims at mastering software product complexity undertaking ''all'' software engineering activities on models. Except some specific domains such as critical systems, MDE is not yet widely adopted by large software manufacturers. We claim that one raison is that, in practice, in MDE software projects, an application is a mixture of models and code which are both developed manually. Development and maintenance activities modify at same time models and software; consistent versionning of models and code is needed. Software engineers are working in parallel: therefore, reconciling concurrent modifications and controlling cooperative engineering are needed. Unfortunately, the concepts, mechanisms and tools to solve these issues do not really exist today: we cannot manage conveniently software evolution for large MDE software projects. This thesis proposes concepts and mechanisms needed to manage the coevolution of models and code in a specific domain, using a dedicated engineering environment: a CADSE (Computer Aided Domain Specific Engineering environment). We propose to formally define evolution policies it the CADSE at meta model level. A policy enforces version consistency and evolution ripple effects in each workspace, through a bi-directional synchronization between model elements and files. A policy also defines and enforces the cooperative work strategy between concurrent workspaces.