Séparation des préoccupations en phase de méta-modélisation
Abstract
Ce document présente succinctement le problème de la claire séparation de la définition des différentes formes de sémantique en phase de méta-modélisation afin de permettre l'utilisation du MOF ou d'ecore pour la définition du méta-modèle, l'utilisation d'OCL pour la définition de la sémantique statique et l'utilisation de Kermeta pour la définition de la sémantique opérationnelle. L'accent dans cette courte présentation est mis sur la justification du besoin de cette séparation et les choix techniques retenus basé sur un modèle pivot et un mécanisme de composition de modèles inspiré du merge d'UML.
Domains
Software Engineering [cs.SE]Origin | Files produced by the author(s) |
---|