Towards Language-Oriented Modeling - Inria - Institut national de recherche en sciences et technologies du numérique
Habilitation À Diriger Des Recherches Year : 2015

Towards Language-Oriented Modeling

Benoit Combemale

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.
Fichier principal
Vignette du fichier
hdr-combemale-v1.pdf (7.97 Mo) Télécharger le fichier
hdr-combemale-slides.pdf (6.92 Mo) Télécharger le fichier
Format Presentation
Loading...

Dates and versions

tel-01238817 , version 1 (08-12-2015)

Licence

Identifiers

  • HAL Id : tel-01238817 , version 1

Cite

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

Share

More