Model and Metamodel Composition: Separation of Mapping and Interpretation for Unifying Existing Model Composition Techniques
Composition de modèles et de métamodèles : Séparation des correspondances et des interprétations pour unifier les approches de composition existantes
Résumé
Model-Driven Engineering (MDE) is a software development methodology that relies on the Separation of Concerns (SoC) and Abstraction principles to deal with complexity. Thinking in terms of higher levels of abstraction and building dedicated models to address specific concerns allow decomposing a problem into more manageable subproblems. Within the framework of MDE, model composition is an active field of research that focuses on automating the composition of model-based artifacts in a multi-modeling environment. However the lack of a common formalism for comparing existing approaches hinders their adaptation and reuse for building new model composition techniques. The main contribution of this thesis is to propose a novel definition of model composition as a pair of a mapping and an interpretation. This definition paves the way to a theoretical framework that (1) unifies existing representations of model composition techniques and (2) automates the process of building model composition tools. The main contribution is supported by two subsidiaries propositions: - We propose categories to classify existing mapping techniques and existing model composition interpretations. - We define a language that supports the definition of generic mappings among models and the definition of interpretations. We validate the contribution through two experiments: (1) a systematic literature review validates the proposed categories for mappings and interpretations; (2) a prototype that supports the model composition approach has been tested on an industrial case study from Technicolor about the composition of legacy APIs for the management of heterogeneous video and broadcasting equipments.
L'Ingénierie Dirigée par les Modèles (IDM) est basée sur le principe d'abstraction et de séparation des préoccupations pour gérer la complexité du développement de logiciels. Les ingénieurs s'appuient sur des modè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 les techniques existantes entraîne une explosion de l'effort nécessaire pour produire de nouveaux outils spécifiques à partir de techniques existantes. La contribution principale de cette thèse est de proposer une définition originale de la composition de modèles comme étant une paire correspondance-interprétation. A partir de cette définition, nous proposons un cadre théorique qui (1) unifie les représentations des techniques de composition existantes et 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 les interprétations existantes. - Nous proposons un langage de modélisation spécifique pour la définition de correspondances 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 de compétitivité Images & Réseaux de la région Bretagne. La validation de la contribution a été démontrée sur un cas d'étude proposé par Technicolor pour l'intégration de librairies existantes dédiées à la gestion d'équipements numériques de diffusion vidéo.
Loading...