Leveraging Family Polymorphism in MDE

Thomas Degueule 1 Benoit Combemale 2 Olivier Barais 2 Arnaud Blouin 2 Jean-Marc Jézéquel 2
1 TRISKELL - Reliable and efficient component based software engineering
IRISA - Institut de Recherche en Informatique et Systèmes Aléatoires, Inria Rennes – Bretagne Atlantique
2 DiverSe - Diversity-centric Software Engineering
Inria Rennes – Bretagne Atlantique , IRISA-D4 - LANGAGE ET GÉNIE LOGICIEL
Abstract : While Domain-Specific Modeling Languages (DSMLs) are increasingly used in industry, both their definition and tooling (e.g., checkers, document or code generators, model transformations) still require significant development efforts that must be balanced with their limited number of users (by definition). Unfortunately, the current Model-Driven Engineering (MDE) technologies strongly rely on the conformance relation that bind a model to the unique DSML used to create it. Consequently, while most of the tools would be reusable for a family of close DSMLs, in practice it is not possible. In this paper, we propose to abstract the overly restrictive conformance relation with a typing relation allowing to manipulate a model through different DSMLs and uncover the need for model-oriented type systems. We introduce K3SLE a new modeling framework built on top of the Eclipse Modeling Framework (EMF) that leverages family polymorphism to support the typing relation. Based on the typing relation, it natively provides model polymorphism, language inheritance and DSML evolution and interoperability. We demonstrate its use on representative use cases.
Type de document :
Pré-publication, Document de travail
2014
Liste complète des métadonnées

Littérature citée [35 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/hal-00994541
Contributeur : Benoit Combemale <>
Soumis le : mercredi 21 mai 2014 - 16:02:18
Dernière modification le : mercredi 2 août 2017 - 10:06:54
Document(s) archivé(s) le : jeudi 21 août 2014 - 12:05:41

Fichier

wip-k3sle.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : hal-00994541, version 1

Citation

Thomas Degueule, Benoit Combemale, Olivier Barais, Arnaud Blouin, Jean-Marc Jézéquel. Leveraging Family Polymorphism in MDE. 2014. 〈hal-00994541〉

Partager

Métriques

Consultations de
la notice

750

Téléchargements du document

170