Skip to Main content Skip to Navigation
New interface
Habilitation à diriger des recherches

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 metadata

Cited literature [195 references]  Display  Hide  Download
Contributor : Benoit Combemale Connect in order to contact the contributor
Submitted on : Tuesday, December 8, 2015 - 10:41:39 AM
Last modification on : Thursday, January 20, 2022 - 4:19:54 PM
Long-term archiving on: : Saturday, April 29, 2017 - 4:54:07 AM


Distributed under a Creative Commons Attribution - NoDerivatives 4.0 International License


  • HAL Id : tel-01238817, version 1


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



Record views


Files downloads