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

Expérimentations pour la vérification d’un processus de synchronisation de modèles hétérogènes dans un contexte de conception collaborative (18/12/2014)

Contact : Xavier Cregut et Bernard Coulette

Laboratoire IRIT — Thème 7 — Equipe MACAO et Equipe ACADIE

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
  • Encadrants : Bernard Coulette, professeur en Informatique à l’université de Toulouse 2 et Xavier Cregut, maître de conférences à INPT-ENSEEIHT
  • Institut de Recherche en Informatique de Toulouse (IRIT)
  • Equipe : MACAO et ACADIE
  • Début de la thèse : Courant 2015

Contexte, motivation

Pour répondre à la complexité grandissante des systèmes à dominante logicielle, nous avons développé ces dernières années des recherches sur l’analyse/conception décentralisée par points de vue. Le principe est de considérer que la conception d’un système complexe passe par l’élaboration de plusieurs modèles (dits « partiels ») correspondant aux points de vue de concepteurs « métier ». L’une des difficultés de cette approche est de s’assurer que l’ensemble de ces modèles partiels représente bien le système dans sa globalité et ce de façon cohérente. Nous avons travaillé pour cela dans un premier temps avec l’hypothèse dite « d’homogénéïté » que les modèles partiels étaient réalisés dans un langage généraliste tel qu’UML [Anwar et al, 2010]. L’hypothèse d’homogénéïté étant trop restrictive et peu réaliste nous nous plaçons maintenant 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 dans des langages dédiés appelés DSML. Cette hypothèse « d’hétérogénéïté » correspond tout à fait à la réalité de la conception des systèmes complexes dans des domaines tels que l’aéronautique, le spatial, les transports, le nucléaire, etc. Cette problématique est traitée notamment dans le projet GEMOC dont l’objectif général est de fournir un atelier pour définir des langages exécutables dans un contexte de modélisation hétérogène. Ce travail a donné lieu aux thèses de M. El Hamlaoui et F. Zalila menées dans les équipes Acadie et Macao. La thèse de M. El Hamlaoui consiste à proposer une approche pour mettre en correspondance les différents éléments des modèles partiels, puis à calculer les impacts afin de proposer des actions de mise en cohérence de l’ensemble en cas de modifications de ces modèles [El Hamlaoui et al, 2014]. La thèse de F. Zalila vise à intégrer de manière complètement transparente pour l’utilisateur final des outils pour vérifier formellement des modèles conformes à un DSML, en s’appuyant sur une sémantique par traduction [Zalila et al, 2013 et 2014].

Objectif du stage de Master

L’objectif de ce stage de Master est de réaliser des expérimentations concernant la vérification d’un processus de synchronisation de modèles hétérogènes. Dans un premier temps, il s’agira de se familiariser avec les travaux des équipes Macao et Acadie et de prendre en main les outils utilisés.

Globalement, il s’agit d’outils du domaine de l’Ingénierie Dirigée par les Modèles (IDM) construits au dessus de l’Eclipse Modeling Framework (Xtext, Sirius, JET, Acceleo, Collab, KOMM, TwoUse, etc.) ainsi que les outils développés dans le cadre du projet ANR GEMOC pour la simulation de modèles hétérogènes.

Ensuite, en s’appuyant sur une étude de cas (par exemple un système de gestion de conférence, un système de gestion de défauts et modifications, etc.), il s’agira d’expérimenter le processus de vérification. Une piste identifiée est de s’appuyer sur les relations de correspondance entre les modèles hétérogènes pour les compléter d’informations sémantiques permettant d’évaluer la cohérence du processus suivi. Une autre piste serait de s’appuyer sur des propriétés propres aux modèles partiels. Les expérimentations sur l’étude de cas choisie devront permettre de préciser les possibilités et les limites des approches envisagées.

Le stage se déroulera à l’Université de Toulouse, au sein du laboratoire IRIT, dans les équipes Macao et Acadie, de février à juin 2015. La rémunération sera de 437€/mois.

Références

  • 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.
  • Kedji K.A., Lbath R., Coulette B., Nassar M., Baresse L., Racaru F. Supporting collaborative development using process models : a Tooled Integration-focused Approach” (Extented version of ICSSP 2012 paper). Journal of Software : Evolution and Process (JSEP). February 2014, Wiley online library. DOI : 10.1002/smr.1640
  • M. El Hamlaoui, C. Trojahn, S. Ebersold, B. Coulette. Towards an Ontology-based Approach for Heterogeneous Model Matching. 2nd international Workshop GEMOC, Valencia, Espagne. 28 Septembre 2014.
  • M. El Hamlaoui, S. Ebersold, B. Coulette, A. Anwar, M. Nassar Heterogeneous models matching for consistency management. IEEE International Conference RCIS, Marrakech, Morocco, 28/05-30/05/2014.
  • Faiez Zalila, Xavier Crégut, Marc Pantel. Formal Verification Integration Approach for DSML (regular paper). Dans : ACM/IEEE International Conference on Model Driven Engineering Languages and Systems (MODELS 2013), Miami, 29/09/2013-04/10/2013, Springer-Verlag, (support électronique), septembre 2013.
  • Faiez Zalila, Xavier Crégut, Marc Pantel. Leveraging formal verification tools for DSML users : a process modeling case study (regular paper). Dans : ISoLA Symposium On Leveraging Applications of Formal Methods, Verification and Validation, Amirandes, Heraclion, Crete, 15/10-18/10/2012, Vol. 7610, Springer, Lecture Notes in Computer Science, p. 329-343, 2012.
  • Globalizing Modeling Languages (Benoit Combemale, Julien Deantoni, Benoit Baudry, Robert France, Jean-Marc Jézéquel, Jeff Gray), In Computer, IEEE, 2014.