Skip to Main content Skip to Navigation
Preprints, Working Papers, ...

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.
Document type :
Preprints, Working Papers, ...
Complete list of metadata

Cited literature [35 references]  Display  Hide  Download
Contributor : Benoit Combemale Connect in order to contact the contributor
Submitted on : Wednesday, May 21, 2014 - 4:02:18 PM
Last modification on : Thursday, January 20, 2022 - 5:28:33 PM
Long-term archiving on: : Thursday, August 21, 2014 - 12:05:41 PM


Files produced by the author(s)


  • HAL Id : hal-00994541, version 1


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



Les métriques sont temporairement indisponibles