Model Transformation Reuse: A Graph-based Model Typing Approach

Identical domain concepts reified in different (meta)modelling projects may be named, represented and connected differently. It turns out that a transformation defined for a particular metamodel cannot be directly used for another metamodel; that is, the reuse of transformations is restricted. To tackle this problem, in this dissertation, we propose a solution for automatically migrating legacy transformations. Such a transformation is adapted to the new metamodel that has a slightly different representation in comparison with the original one, while preserving the original semantics of the transformation. To this end, we first introduce MetaModMap, a Domain Specific Language that allows the description of the correspondences of intended semantics between the elements of two metamodels that model the same domain. Then we provide a rewriting mechanism using these user-defined correspondences to migrate the transformation automatically. The proposed solution uses a graph-based model typing relation that enables safe adaptations. Our approach has been prototyped with MOMENT2 and can be used with any framework based on the same graph transformation paradigmPour réaliser un modèle dans un domaine métier, les mêmes concepts peuvent être traduits, nommés, représentés ou reliés différemment dans des méta-modèles différents. Ainsi, une transformation définie pour un méta-modèle particulier ne peut pas être utilisée pour un autre méta-modèle. La réutilisation des transformations est donc limitée. Face à ce problème, nous proposons dans cette thèse une solution pour migrer automatiquement les transformations existantes pour pouvoir les appliquer à un autre méta-modèle. Une telle transformation est adaptée pour le nouveau méta-modèle qui a une représentation légèrement différente par rapport à celle d'origine, tout en préservant la sémantique de la transformation. À cette fin, nous introduisons d'abord MetaModMap, un langage spécifique qui permet de décrire des correspondances de la sémantique intentionnelle entre les éléments de deux méta-modèles qui modélisent le même domaine. Ensuite, nous proposons un mécanisme de réécriture pour migrer automatiquement la transformation en utilisant ces correspondances définies par l'utilisateur. La solution proposée utilise une relation de typage de modèle basée sur des graphes qui permet de faire des adaptations en toute sécurité. Notre approche a été prototypée avec MOMENT2 et peut être utilisée pour d¿autres frameworks basés sur le même paradigme de transformation de modèles basé sur les graphes.CESSON SEVIGNE-Télécom Breta (350512301) / SudocSudocFranceF