Towards Language-Oriented Modeling

Benoit Combemale 1
1 DiverSe - Diversity-centric Software Engineering
IRISA-D4 - LANGAGE ET GÉNIE LOGICIEL, Inria Rennes – Bretagne Atlantique
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.
Type de document :
HDR
Software Engineering [cs.SE]. Université de Rennes 1, 2015
Liste complète des métadonnées

Littérature citée [195 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/tel-01238817
Contributeur : Benoit Combemale <>
Soumis le : mardi 8 décembre 2015 - 10:41:39
Dernière modification le : mercredi 29 novembre 2017 - 15:42:20
Document(s) archivé(s) le : samedi 29 avril 2017 - 04:54:07

Licence


Distributed under a Creative Commons Paternité - Pas de modifications 4.0 International License

Identifiants

  • HAL Id : tel-01238817, version 1

Citation

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

Partager

Métriques

Consultations de la notice

428

Téléchargements de fichiers

449