Nos partenaires

CNRS

Rechercher





Accueil du site > Français > Thèmes de recherche > Thème 7 - Sûreté de développement du logiciel > Equipe MACAO > Propositions de stages, thèses et post-doc > Thèses

Mise en cohérence de modèles hétérogènes évolutifs lors d’un développement collaboratif (24/10/2013)

Contact : Sophie Ebsersold et Bernard Coulette

Laboratoire IRIT — Thème 7 — Equipe MACAO

Direction et unité d’accueil

  • Domaine scientifique principal du thème concerné : Informatique
  • Libellé ACI/Programme ou discipline concernée : Génie Logiciel
  • Formation doctorale de rattachement (spécialité) : Informatique
  • Directeur : Bernard Coulette, professeur en Informatique à l’université de Toulouse 2-Le Mirail
  • Encadrant : Sophie Ebersold, maître de conférences à l’université de Toulouse 2 - Le Mirail
  • Institut de Recherche en Informatique de Toulouse (IRIT)
  • Equipe : MACAO
  • Début de la thèse : septembre 2013

Contexte

Face à la complexité grandissante des systèmes logiciels, nous travaillons sur l’analyse/conception décentralisée par points de vue. L’une des difficultés à résoudre avec cette approche est la composition (ou fusion) de modèles partiels (i.e. de modèles élaborés séparément par points de vue).

Cette approche fondée au départ sur le standard UML s’est traduite par l’élaboration du profil VUML. Pour traiter la composition des modèles partiels, nous avons appliqué l’approche IDM en considérant la composition de diagrammes UML comme des transformations exogènes prenant en entrée plusieurs modèles conformes à UML et produisant en sortie un modèle conforme à VUML. Un prototype de composition de modèles UML a été réalisé avec le langage de transformations ATL.

Afin de généraliser cette approche, nous nous plaçons dans le contexte de modélisation d’un système complexe en considérant les modèles partiels comme hétérogènes, c’est-à-dire décrits (par des spécialistes) dans des langages dédiés aux différents domaines du système (DSL ou Domain Specific Language).

Actuellement, un travail de thèse (M. El Hamlaoui) a pour but de gérer la cohérence entre les modèles hétérogènes. Il s’agit tout d’abord de mettre en correspondance les différents éléments des modèles réalisés, puis de calculer les impacts et de proposer des actions de mise en cohérence de l’ensemble en cas de modifications de ces modèles.

Objectif de la thèse

L’objectif de la thèse est d’étendre ce travail pour prendre en compte des modèles hétérogènes évoluant dans le contexte d’un développement collaboratif. En effet, la réalité de la modélisation des systèmes complexes est non seulement celle de l’hétérogénéité des modèles et des environnements de modélisation liée à la multitude des compétences des métiers impliquées, mais aussi celle de la collaboration entre les acteurs d’un développement. En effet, les modèles en question peuvent être élaborés par des acteurs/équipes réparties sur plusieurs sites et travaillant en parallèle sur des artefacts partagés. Cela pose entre autres, le problème du maintien de la cohérence de ces modèles quand ils sont élaborés puis modifiés de façon collaborative (hétérogénéité, modélisation concurrente, gestion de versions, ...). L’approche proposée devra couvrir la conceptualisation, la démarche et l’outillage d’une solution répondant à cette problématique.

Déroulement de la thèse

La thèse – dirigée par B. Coulette et co-encadrée par S. Ebersold – se déroulera au sein du laboratoire IRIT, dans l’équipe MACAO à l’Université de Toulouse 2.

Le travail de recherche consistera tout d’abord à réaliser un état de l’art sur le domaine, sur la base d’une étude ciblée de la littérature et des travaux connexes.

La seconde étape aura pour but de proposer une approche de mise en correspondance de modèles de conception multi-DSL évolutifs dans un contexte de développement collaboratif. En effet, il faudra prendre en compte à la fois l’hétérogénéité des modèles et leur élaboration collaborative, avec les problèmes d’édition concurrente et de fusion que cela induit.

Le travail se poursuivra par la proposition d’un processus semi-automatisé permettant de gérer, dans un contexte collaboratif, la cohérence des modèles lorsqu’ils évoluent.

Un prototype d’environnement support d’édition et de gestion de la cohérence entre les modèles hétérogènes évolutifs sera réalisé.

Enfin, l’approche proposée sera mise en oeuvre sur un cas d’étude significatif permettant un passage à l’échelle et une évaluation.

Références

Points de vue, profil VUML

  • S. Marcaillou-Ebersold "Intégration de la notion de point de vue dans la modélisation par objet. Le langage VBOOL". Thèse de doctorat UPS. Toulouse, 7 février 1995.
  • M. Nassar "Analyse/conception par objets et points de vue : le profil VUML". Thèse INPT, Toulouse, 28 septembre 2005.

Ingénierie des modèles

  • OMG 2002. OMG/MOF Meta Object Facility 1.4. Final Adopted Specification Document. formal/02-04-03.
  • OMG 2003, UML2 OCL Final Adopted Specification, http://www.omg.org/docs/ptc/03-10-14.pdf.
  • Allilaire, F., Idrissi, T. ADT : Eclipse Development Tools for ATL. EWMDA-2, Canterbury, England, 2004
  • Jouault F., Kurtev I., « Transforming Models with ATL », Proceedings of the Model Transformations in Practice Workshop at MoDELS 2005, Montego Bay, Jamaica, 2005.

Composition de modèles

  • Clarke, S. : « Extending Standard UML with Model Composition Semantics ». Science of Computer Programming, 44 (2002) 71.100
  • Pottinger R and Bernstein P. « Merging models based on given correspondences », Proceedings of the 29th VLDB Conference, Berlin, Germany, 2003.
  • Didonet Del Fabro M., Bézivin J., JÈuault F., Breton E., Gueltas G., “AMW : a generic model weaver”, Actes IDM’05. Paris, France, juin 2005, p. 105-114
  • Bézivin J., Bouzitouna S., Del Fabro M.D., Gervais M., Jouault F., Kolovos D., Kurtev I., . Paige R. A « Canonical Scheme for Model Composition ». ECMDA-FA, LNCS 4066, Springer-Verlag, 2006.
  • Reddy Y. R., Ghosh S., France R. B., Straw G., Bieman J. M., McEachen N., Song E., Georg G. « Directives for Composing Aspect-Oriented Design Class Models ». Transactions of Aspect-Oriented Software Development, Vol.1, No. 1, LNCS 3880, p75-105, 2006, Springer.
  • Kolovos, DS., Paige, RF., Polack, FAC. « Merging Models with the Epsilon Merging Language (EML) ». MODELS 2006, Genova, Italy, October, 2006.
  • A. Anwar, "Formalisation par une approche IDM de la composition de modèles dans le profil VUML". Co-Directeurs : B. Coulette et A. Kriouile, Toulouse, 9 décembre 2009.
  • Anwar A., Ebersold S., Coulette B., Nassar M., Kriouile A., "A Rule-Driven Approach for composing Viewpoint-oriented Models", Journal of Object Technology, ETH Swiss Federal Institute of Technology, p. 1-26, mars 2010.

Mise en correspondance de modèles

  • Mahmoud El Hamlaoui, Bernard Coulette, Sophie Ebersold, Mahmoud Nassar. Établissement de liens entre modèles hétérogènes. Illustration par un cas d’étude (short paper). Dans : Conférence en Ingénierie du Logiciel (CIEL 2012), Rennes, 19/06/2012-21/06/2012, IRISA, (support électronique), 2012.
  • Mahmoud El Hamlaoui, Sophie Ebersold, Bernard Coulette, Adil Anwar, Mahmoud Nassar. A process for defining a unique correspondence model to relate heterogeneous models (short paper). Dans / In : International Conference on Evaluation of Novel Approaches to Software Engineering (ENASE 2013), Angers - France, 04/07/2013-06/07/2013, SciTePress, (support électronique), 2013.

Processus collaboratifs

  • Komlan Akpédjé Kedji, Redouane Lbath, Bernard Coulette, Mahmoud Nassar, Laurent Baresse, Florin Racaru. Supporting collaborative development using process models : an integration-focused approach (regular paper). Dans / In : International Conference on Software and System Process (co-located with ICSE) (ICSSP 2012), Zürich, 02/06/2012-03/06/2012, IEEExplore digital library, (support électronique), 2012.
  • Komlan Akpédjé Kedji, Minh Tu Ton That, Bernard Coulette, Redouane Lbath, Hanh Nhi Tran, Mahmoud Nassar. A tool-supported approach for process modeling : application to collaborative processes (regular paper). Dans / In : Asia-Pacific Software Engineering Conference (APSEC 2011), Hochiminh City, 05/12/2011-08/12/2011, IEEE Computer Society - Conference Publishing Services, (support électronique), décembre / december 2011.
  • Komlan Akpédjé Kedji Modélisation et mise en œuvre de processus collaboratifs ad hoc, 5 Juillet 2013. Thèse IRIT en cotutelle. Co-directeurs : B. Coulette, M. Nassar.