Composition de modèles et de métamodèles : séparation des correspondances et desinterprétations pour unifier les approches de composition existantes

by Mickaël Clavreul

Thèse de doctorat en Informatique

Sous la direction de Jean-Marc Jézéquel.

defended on 2011

à Rennes 1 .


  • Résumé

    Model-Driven Engineering (MDE) is a software development methodology that relies on the Separation ofConcerns (SoC) and Abstraction principles to deal with complexity. Thinking in terms of higher levels ofabstraction and building dedicated models to address specific concerns allow decomposing a problem intomore manageable subproblems. Within the framework of MDE, model composition is an active field of research that focuses onautomating the composition of model-based artifacts in a multi-modeling environment. However the lackof a common formalism for comparing existing approaches hinders their adaptation and reuse for buildingnew model composition techniques. The main contribution of this thesis is to propose a novel definition of model composition as a pair of amapping and an interpretation. This definition paves the way to a theoretical framework that (1) unifiesexisting representations of model composition techniques and (2) automates the process of building modelcomposition tools. The main contribution is supported by two subsidiaries propositions:- We propose categories to classify existing mapping techniques and existing modelcomposition interpretations. - We define a language that supports the definition of generic mappings among models andthe definition of interpretations. We validate the contribution through two experiments: (1) a systematic literature review validates theproposed categories for mappings and interpretations; (2) a prototype that supports the model compositionapproach has been tested on an industrial case study from Technicolor about the composition of legacyAPIs for the management of heterogeneous video and broadcasting equipments.

  • Titre traduit

    Model and metamodel composition : separation of mapping and interpretation for unifying existing model composition techniques


  • Résumé

    L'Ingénierie Dirigée par les Modèles (IDM) est basée sur le principe d’abstraction et de séparation despréoccupations pour gérer la complexité du développement de logiciels. Les ingénieurs s’appuient sur desmodèles dédiées à la résolution d’un problème particulier. Dans le cadre de l’IDM, la composition de modèles est un domaine de recherche très actif qui vise àautomatiser les tâches de recomposition des modèles. La quasi-inexistence de consensus pour comparer lestechniques existantes entraîne une explosion de l’effort nécessaire pour produire de nouveaux outilsspécifiques à partir de techniques existantes. La contribution principale de cette thèse est de proposer une définition originale de la composition demodèles comme étant une paire correspondance-interprétation. A partir de cette définition, nousproposons un cadre théorique qui (1) unifie les représentations des techniques de composition existanteset qui (2) automatise le développement d’outils de composition de modèles. La contribution principale s'appuie sur deux sous-contributions supplémentaires :- Nous proposons des catégories pour classer les techniques de correspondance et lesinterprétations existantes. - Nous proposons un langage de modélisation spécifique pour la définition decorrespondances génériques entre modèles et la définition d’interprétations. Un prototype logiciel a été développé et utilisé dans le cadre du projet MOPCOM-I du pôle decompétitivité Images & Réseaux de la région Bretagne. La validation de la contribution a été démontréesur un cas d’étude proposé par Technicolor pour l’intégration de librairies existantes dédiées à la gestiond’équipements numériques de diffusion vidéo.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 1 vol. (XIII-191 p.)
  • Notes : Publication autorisée par le jury
  • Annexes : Bibliogr. p. 171-187

Où se trouve cette thèse ?

  • Bibliothèque : Université de Rennes I. Service commun de la documentation. Section sciences et philosophie.
  • Disponible pour le PEB
  • Cote : TA RENNES 2011/93
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.