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 metadatas

Cited literature [35 references]  Display  Hide  Download

https://hal.inria.fr/hal-00994541
Contributor : Benoit Combemale <>
Submitted on : Wednesday, May 21, 2014 - 4:02:18 PM
Last modification on : Friday, March 1, 2019 - 4:30:02 PM
Long-term archiving on : Thursday, August 21, 2014 - 12:05:41 PM

File

wip-k3sle.pdf
Files produced by the author(s)

Identifiers

  • 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⟩

Share

Metrics

Record views

921

Files downloads

235