The committee is composed of:
BARBIER Franck - Professeur, Université de Pau, France
BRIAND Lionel - Professeur, Université du Luxembourg, Luxembourg
BETTY H.C. Cheng - Professeur, Université du Michigan, USA
NIERSTRASZ Oscar - Professeur, Université de Bern, Suisses
KIENZLE Joerg - Professeur, Université McGill, Canada
MOSSES Peter D.- Professeur, Université de Swansea, Royaume Uni
BAUDRY Benoit - Chargé de recherche, INRIA Rennes, France
JEZEQUEL Jean-Marc - Professeur, Université Rennes 1, France
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 andthe 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.
The talk was given in english.