The work of the MaREL team is part of the software engineering framework and focuses on the automation of the several steps of the software lifecycle, from design to maintenance through the compilation and optimization of the code, the modularization and reuse of programs, as well as their semantics and dependabilty. These topics cover the entire approach, from theoretical studies to full-scale experiments, including the development of languages, models, algorithms and demonstrators.
The activities of the MaREL team focus on two research themes :
- Model and program manipulation: model-driven engineering, component and object oriented languages, semantics and proof of programs.
- Development methodologies for and through reuse: new features of languages integrating extensible and composable entities (components), transformation of applications (objects to components or others), software product lines.
The team also has a number of transverse activities concerning the development of formalisms and methodologies whose scope of application goes beyond the field of software engineering (formal concept analysis and automated proof).
Staff
Hinde Bouziane, Maître de conférences, UM
Simon Robillard, Maître de conférences, UM
David Delahaye, Professeur des universités, UM
Philippe Reitz, Maître de conférences, UM
Clémentine Nebut, Maître de conférences, UM
Marianne Huchard, Professeur des universités, UM
Abdelhak Seriai, Maître de conférences, UM
Christophe Dony, Professeur des universités, UM
Nicolas Serrurier Gourvès, Adjoint technique, UM
Associates & Students
Selena Lamari, UM
Quentin Capdepon, Berger-Levrault
Sarra Djebour, CEA
Clotilde Braye, NEHS DIGITAL
Bachar Rima, Berger-Levrault
Romain Sidhoum, UM
Regular Co-workers
Michel Meynard, Associé, UM
Yoann Bonavero, CDD Ingénieur-Technicien, UM
Mohammed Chaabani, CDD Chercheur, UM
The team’s activity focuses on three axes:
- Model-Driven Engineering (MDE), by designing a novel formal method (Relational Concept Analysis, RCA), its experimentation on large-sized real-world data, and as a basis for learning model transformations;
- Reuse and Variability Engineering, by extracting components or product lines starting from object-oriented systems, through the use of adapted metrics and combinatorial optimization algorithms;
- Semantics and Implementation of Programming Languages, object-oriented or component-based ones: designing “pure” component-based languages, like Smalltalk is a “pure” object-oriented language, or for experimenting implementation techniques of object-oriented languages.
These three axes are at the same time well identified and tightly related. The concepts of “object” and “model” provide a common base, and components are studied from different points of view: programming languages, models, and their extraction from code. RCA is an object of study, in addition to being a formal basis for tool development.
- Industrial Partners:
- Acelys (2013 to date): Software development methodologies (model-driven engineering and variability)
- Berger-Levrault (2013 to date): Accessibility for Web pages for visually impaired persons, and Analysis of software traces
- Cortus (2009 to date): Efficient compilation for low-end embedded processors
- Pradeo (2013 to date): Static analysis for the security of mobile applications
- Academic Partners:
- University of Montréal: co-supervision of theses related to reuse and MDE
- Ecoles des Mines of Alès and Douai: co-supervision of theses in the domain of software components and MDE with application on home automation
- LORIA, Nancy and LATECE, UQAM, classification of Web services and PICS Project (RCA and ontologies)
- RMOD, INRIA Lille (and MAORE team), ANR Project Cutter (software re-modularization).
Title: Ingénierie agile de lignes de produits logiciels pour des applications daide à la décision pour lagriculture
PhD defendant: Thomas Georges
Defense date: 2024-01-23
Thesis director:
Chouki Tibermacine
Title: Conception d’un prouveur automatique de théorèmes concurrent basé sur la méthode des tableaux pour la logique du premier ordre.
PhD defendant: Julie Cailler
Defense date: 2023-12-13
Thesis director:
David Delahaye
Title: Migration Dirigée par les Modèles dApplications Monolithiques vers des Architectures à base de Micro-Services
PhD defendant: Pascal Zaragoza
Defense date: 2022-07-18
Thesis director:
Abdelhak Seriai
Title: IsiSPL : un processus automatisé pour faciliter l’ingénierie des lignes de produits logiciels selon une stratégie d’adoption industrielle réactive ou extractive
PhD defendant: Nicolas Hlad
Defense date: 2022-05-20
Thesis director:
Abdelhak Seriai
Title: Vérification formelle d’une méthodologie pour la conception et la production de systèmes numériques critiques.
PhD defendant: Vincent Iampietro
Defense date: 2021-12-16
Thesis directors:
David Andreu,
David Delahaye
Title: Contribution à l’analyse de flot multi-variante : application à JavaScript
PhD defendant: Anthony Ferrand
Defense date: 2020-09-08
Thesis director:
Roland Ducournau
Title: COMpOSER : une approche de ligne de produits logiciels dirigée par les modèles pour une gestion efficace de la réutilisation logicielle dans des familles et des populations de produits
PhD defendant: Frédéric Verdier
Defense date: 2019-12-11
Thesis director:
Abdelhak Seriai
Title: Du style architectural monolithique vers le style microservice: approches basées sur la structure et sur les tâches
PhD defendant: Anfel Selmadji
Defense date: 2019-10-03
Thesis directors:
Abdelhak Seriai,
Christophe Dony
Title: Ré-ingénierie des applications à objets pour une amélioration de leurs attributs de qualité
PhD defendant: Soumia Zellagui
Defense date: 2019-07-05
Thesis director:
Chouki Tibermacine
Title: L’analyse formelle de concepts : un cadre structurel pour l’étude de la variabilité de familles de logiciels
PhD defendant: Jessie Carbonnel
Defense date: 2018-10-29
Thesis director:
Marianne Huchard
Title: Une machine virtuelle en héritage multiple basée sur le hachage parfait
PhD defendant: Julien Pagès
Defense date: 2016-12-14
Thesis director:
Roland Ducournau
Title: Analyse du flot de contrôle multivariante : application à la détection de comportements des programmes
PhD defendant: Rabah Laouadi
Defense date: 2016-12-14
Thesis director:
Roland Ducournau
Title: Migration des Applications Orientées-Objet vers celles à base de Composants
PhD defendant: Zakarea Al Shara
Defense date: 2016-11-17
Thesis directors:
Christophe Dony,
Chouki Tibermacine,
Abdelhak Seriai
Title: Contribution à une méthode outillée pour la conception de langages de modélisation métier interopérables, analysables et prouvables pour l’Ingénierie Système basée sur des Modèles
PhD defendant: Blazo Nastov
Defense date: 2016-11-15
Thesis director:
Christophe Dony
Title: Une approche déclarative pour la génération de modèles
PhD defendant: Adel Ferdjoukh
Defense date: 2016-10-20
Thesis director:
Marianne Huchard
Title: Architecture dynamique basée sur la description de la variabilité et des services identifiés depuis des applications orientées objet
PhD defendant: Seza Adjoyan
Defense date: 2016-06-30
Thesis directors:
Roland Ducournau,
Abdelhak Seriai
Title: Modèles Opérationnels de Processus Métier et d’Exigences Variables pour le Développement de Lignes de Produits Logiciels
PhD defendant: Raoul Taffo Tiam
Defense date: 2015-12-17
Thesis directors:
Abdelhak Seriai,
Roland Ducournau
Title: Une approche basée sur les préférences et les méta-heuristiques pour améliorer laccessibilité des pages Web pour les personnes déficientes visuelles
PhD defendant: Yoann Bonavero
Defense date: 2015-11-24
Thesis director:
Marianne Huchard
Title: Support à la réutilisation par la rétro-ingénierie des architectures et des composants logiciels à partir du code source orienté objet des variantes de produits logiciels et d’APIs
PhD defendant: Anas Shatnawi
Defense date: 2015-06-29
Thesis director:
Abdelhak Seriai