Mise en correspondance et gestion de la cohérence de modèles hétérogènes évolutifs. (Evolutive heterogeneous models matching and consistency management)

Pour permettre la comprehension et la manipulation d’un systeme complexe, le decoupage en parties separees est necessaire. En Ingenierie Dirigee par les Modeles (ou Model Driven Engineering), ces parties sont representees par des modeles, que nous qualifions de modeles partiels, dans la mesure ou ils sont focalises sur des domaines metiers distincts. Dans ce contexte de multi-modelisation, ces modeles sont dits heterogenes quand ils sont decrits dans des langages de modelisation distincts dedies a differents domaines metiers : DSML (Domain Specific Modeling language). La comprehension et l’exploitation efficace des connaissances relatives a un tel systeme supposent la construction d’un modele global representant son fonctionnement. La creation du modele global requiert l’identification des correspondances existant entre les elements des differents modeles partiels. Dans la pratique, ces correspondances sont soit incompletement identifiees, soit insuffisamment formalisees pour etre maintenues lorsque les modeles partiels evoluent. Ceci limite leur utilisation et ne permet pas de les exploiter pleinement lors de la construction du modele global ou du traitement de l’evolution des modeles partiels. L’apport de cette these est double. La premiere contribution est celle d’un processus permettant la creation d’une vue globale du systeme par l’intermediaire d’une composition fondee sur la mise en correspondance des modeles partiels. Les correspondances identifiees entres les elements des modeles se basent sur des types de relations instanciees a partir d’un metamodele de correspondance. Ce dernier est extensible (selon les specificites du domaine d’application considere) et permet de supporter les concepts relatifs a ce domaine. Les correspondances sont d’abord identifiees entre les meta-elements des metamodeles respectifs des modeles partiels. Les correspondances entre les elements de modeles sont ensuite obtenues par un mecanisme de raffinement, supporte par un langage d’expression semantique ad hoc : SED (Semantic Expression DSL). La composition est dite « virtuelle » dans la mesure ou les elements figurant dans une correspondance ne sont que des references aux elements appartenant aux modeles partiels. De ce fait, les modeles interconnectes par ces correspondances forment un modele global virtuel. La seconde contribution est relative au maintien de la coherence des modeles partiels et du modele global. En effet, les modeles evoluant dans le temps, le changement d’un element ou de plusieurs elements participant a l’expression des correspondances, peut entrainer l’incoherence du modele global. Pour maintenir la coherence du modele global, nous proposons un second processus permettant tout d’abord d’identifier automatiquement les changements realises ainsi que leurs classifications et leurs repercussions sur les elements de modeles concernes. Par la suite, les differents cycles sont geres a l’aide de l’expert puis une liste de changements est generee en fonction de la strategie choisie et des coefficients de ponderation. Enfin, le traitement des changements est realise de facon semi-automatique. Ce travail a ete concretise par le developpement d’un outil support nomme HMCS (Heterogeneous Matching and Consistency management Suite), base sur la plateforme Eclipse. L’approche a ete validee et illustree a travers un cas d’etude portant sur la gestion du Service d'Urgence d'un hopital. Ce travail a ete mene en collaboration avec le CHU de Montpellier.