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 > Stages de Master 2

Adaptation de Modelink à la mise en correspondance de plusieurs modèles hétérogènes (21/12/2012)

Contact : Sophie Ebsersold et Bernard Coulette

Contact : Sophie Ebsersold et Bernard Coulette

Laboratoire IRIT — Thème 7 — Equipe MACAO

Direction et unité d’accueil

  • 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

Contexte

Le sujet s’inscrit dans le domaine de l’Ingénierie Dirigée par les Modèles, dans le cadre d’une étude visant à mettre en correspondance plusieurs modèles hétérogènes. Le but poursuivi est de garantir la cohérence de systèmes complexes fondés sur une approche par points de vue, i.e. multi-langages (DSML). En effet, la complexité croissante des systèmes logiciels rend leur compréhension et leur conception de plus en plus délicate. Nous considérons qu’une conception décentralisée est le point de départ de la réalisation d’un système complexe, et nous voulons exploiter la cohabitation des différents modèles, outils et méthodologies, en lui conférant l’avantage d’être plus facilement exploitable par chacun des experts du domaine. Nous nous plaçons donc dans une démarche guidée par les points de vue où nous considérons des modèles décrits dans des DSML (Domain Specific Modeling Language) divers et où nous désirons obtenir par composition de ces modèles, un modèle cohérent.

Actuellement, un travail de thèse est en cours dans le but de supporter la composition des modèles hétérogènes (16, 17). Cette approche propose une mise en correspondance des différents éléments des modèles impliqués, afin de garantir la cohérence de l’ensemble en cas de modification d’un ou plusieurs modèles et de rendre opérationnelles certaines modifications pour que leurs impacts sur le système global soient automatiquement calculés et exécutés. Pour supporter la mise en oeuvre de cette approche, nous utilisons l’outil graphique ModelLink .

A l’instar de AMW, ModelLink http://www.eclipse.org/epsilon/doc/..., est une API EMF permettant d’établir des liens graphiques entre des (méta-) modèles.

Objectif du stage

L’objectif du projet est de personnaliser le fonctionnement de ModelLink en proposant une solution qui rende dynamique le nombre de modèles à relier. Il s’agit donc de modifier l’éditeur pour qu’il puisse supporter l’évolution du nombre de modèles.

Le travail consistera à proposer une démarche de mise en cohérence de modèles de conceptions multi-DSL évolutifs.

Plan d’action proposé :

Il s’agira de traiter les points suivants :

  • 1) Mener une étude de l’approche proposée par (16, 17) et de son positionnement par rapport aux approches existantes de mise en correpondance
  • 2) Définir une transformation qui permette de traduire le méta-modèles de liens de mise en correspondance défini par l’approche, en un modèle conforme à la syntaxe ModelLink (Technologie M2T : Jet, Xpand)
  • 3) Vérifier que les fonctionnalités attendues sont bien supportées par l’outil
  • 4) Faire l’opération inverse de la 2) i.e. : Sérialiser le modèle de liens construit avec Modelink en un modèle de liens conforme au MM de liens de départ
  • 5) Proposer une solution afin de rendre dynamique le nombre de modèles à relier, en modifiant l’éditeur pour qu’il puisse supporter l’évolution du nombre de modèles

Les étudiants disposeront des modèles sources ainsi que de leurs méta-modèles et du méta-modèle de liens. Les outils de développement utilisés seront basés sur Eclipse, notamment le projet "Eclipse Modelling".

Références

  • Editing EMF models with Exeed (EXtended Emf EDitor) http://www.eclipse.org/epsilon/doc/...
  • AMW : A Generic Model Weaver http://megaplanet.org/idm05/documen...
  • Semi-automatic model integration using matching transformations and weaving models  : Disponible sur demande (sophie.ebersold@irit.fr)
  • 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.
  • M. Nassar "Analyse/conception par objets et points de vue : le profil VUML". Thèse INPT, Toulouse, 28 septembre 2005.
  • 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.
  • 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.
  • 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.
  • Mahmoud El Hamlaoui, Sophie Ebersold, Adil Anwar, Mahmoud Nassar, Bernard Coulette. A Process for Maintaining Heterogeneous Models Consistency through Change Synchronization (short paper). Dans : ACS/IEEE International Conference on Computer Systems and Applications (AICCSA 2013), Fès/Ifrane, 27/05/2013- 30/05/2013, IEEE Computer Society, (support électronique), 2013. BibTeX
  • 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 : International Conference on Evaluation of Novel Approaches to Software Engineering (ENASE 2013), Angers - France, 04/07/2013-06/07/2013, SciTePress, (support électronique), 2013 (à paraître). BibTeX