Towards Language-Oriented Modeling

Benoit Combemale 1
1 DiverSe - Diversity-centric Software Engineering
Inria Rennes – Bretagne Atlantique , IRISA-D4 - LANGAGE ET GÉNIE LOGICIEL
Abstract : In this habilitation à diriger des recherches (HDR), I review a decade of research work in the fields of Model-Driven Engineering (MDE) and Software Language Engineering (SLE). I propose contributions to support a language-oriented modeling, with the particular focus on enabling early validation & verification (V&V) of software-intensive systems. I first present foundational concepts and engineering facilities which help to capture the core domain knowledge into the various heterogeneous concerns of DSMLs (aka. metamodeling in the small), with a particular focus on executable DSMLs to automate the development of dynamic V&V tools. Then, I propose structural and behavioral DSML interfaces, and associated composition operators to reuse and integrate multiple DSMLs (aka. metamodeling in the large). In these research activities I explore various breakthroughs in terms of modularity and reusability of DSMLs. I also propose an original approach which bridges the gap between the concurrency theory and the algorithm theory, to integrate a formal concurrency model into the execution semantics of DSMLs. All the contributions have been implemented in software platforms — the language workbench Melange and the GEMOC studio – and experienced in real-world case studies to assess their validity. In this context, I also founded the GEMOC initiative, an attempt to federate the community on the grand challenge of the globalization of modeling languages.
Document type :
Habilitation à diriger des recherches
Complete list of metadatas

Cited literature [195 references]  Display  Hide  Download

https://hal.inria.fr/tel-01238817
Contributor : Benoit Combemale <>
Submitted on : Tuesday, December 8, 2015 - 10:41:39 AM
Last modification on : Friday, January 11, 2019 - 1:53:26 PM
Long-term archiving on : Saturday, April 29, 2017 - 4:54:07 AM

Licence


Distributed under a Creative Commons Attribution - NoDerivatives 4.0 International License

Identifiers

  • HAL Id : tel-01238817, version 1

Citation

Benoit Combemale. Towards Language-Oriented Modeling. Software Engineering [cs.SE]. Université de Rennes 1, 2015. ⟨tel-01238817⟩

Share

Metrics

Record views

869

Files downloads

857