MAREL: Models And Reuse Engineering, Languages

Les travaux de MaREL s'insèrent dans le cadre du Génie Logiciel et s'intéressent à l'automatisation des étapes du cycle de vie du logiciel, de la conception à la maintenance en passant par la compilation et l'optimisation du code. Ces études couvrent la totalité de la démarche, de l'étude théorique aux expérimentations en vraie grandeur, en passant par le développement d'algorithmes et de programmes.

Membres

Permanents

Non permanents

Thématiques de recherche

L'activité de l'équipe se concentre sur trois axes :

  • l'ingénierie des modèles (IDM), par la conception d'une approche formelle originale (Analyse Relationnelle de Concepts, ARC), son expérimentation sur des données réelles de grande taille, et comme base pour l'apprentissage de transformations de modèles ;
  • l'ingénierie de la réutilisation et de la variabilité, par l'extraction de composants ou de lignes de produits à partir de systèmes OO existants en se basant sur des métriques adaptées et des algorithmes d'optimisation combinatoire ;
  • la sémantique et l'implémentation des langages de programmation, à objets ou à composants, pour concevoir un langage "pur composant", comme Smalltalk est "pur objet", ou pour expérimenter des techniques d'implémentation des langages à objets.

Ces trois axes sont à la fois bien identifiés et étroitement associés. Les notions d'objet ou de modèle constituent un socle commun, et les composants sont étudiés à la fois du point de vue des langages de programmation, des modèles et de leur extraction à partir du code. L'ARC est un objet d'étude, aussi bien qu'une base formelle pour le développement d'outils.

Collaborations externes

  • Partenaires industriels :
    • Acelys  (2013 à ce jour) : Méthodologies de développement du logiciel (ingénierie des modèles et variabilité)
    • Berger-Levrault (2013 à ce jour) : Accessibilité aux pages Web pour personnes malvoyantes et Analyse de traces logicielles
    • Cortus (2009 à ce jour) : Compilation efficace pour processeurs embarqués low-end
    • Pradeo (2013 à ce jour) : Analyse statique pour la sécurité des applications mobiles
  • Partenaires académiques :
    • Université de Montréal, co-encadrement avec Houari Sahraoui de deux thèses liées aux thèmes de l’IDM et de la réutilisation.
    • Ecoles des Mines d'Alès et de Douai : co-encadrement de thèses dans le domaine des composants logiciels, de l’IDM, avec application à la domotique.
    • LORIA, Nancy et LATECE, UQAM, classification de services web et projet PICS (ARC et ontologies).
    • RMOD, INRIA Lille (et équipe MAORE), projet ANR Cutter (remodularisation de logiciels).

Publications majeures récentes

  • Chouki Tibermacine, Salah Sadou, Tu Minh Ton That, Christophe Dony.
    Software Architecture Constraint Reuse-by-Composition.
    Future Generation Computer Systems, Elsevier, 2016
  • Pattaraporn Warintarawej, Anne Laurent, Marianne Huchard, Mathieu Lafourcade, Pierre Pompidor
    Software understanding: Automatic classification of software identifiers
    Intelligent Data Analysis (IDA Journal) 19(4) 2015
  • Anas Shatnawi, Abdelhak Seriai, Houari A. Sahraoui, Zakarea Al-Shara.
    Mining Software Components from Object-Oriented APIs. In Proceedings of the 14th International Conference on Software Reuse (ICSR'15), Miami, FL, USA, January 4-6, 2015, pp. 330-347
  • Hamzeh Eyal-Salman, Abdelhak Seriai and Christophe Dony.    
    Feature-Level Change Impact Analysis Using Formal Concept Analysis. In International Journal of Software Engineering and Knowledge Engineering 2015.
  • Petr Spacek, Christophe Dony and Chouki Tibermacine.
    A Component-based meta-level architecture and prototypical implementation of a reflective Component-oriented Programming and Modeling language. In proceedings of the 17th International ACM SIGSOFT Symposium on Component-Based Software Engineering (CBSE'14), Lille, France, June-July 2014. ACM Press.
  • Okba Tibermacine, Chouki Tibermacine and Foudil Cherif.
    A Process to Identify Relevant Substitutes for Healing Failed WS-* Orchestrations. In the Journal of Systems and Software, volume 104, Pages 1-16, June 2015. Elsevier.
  • Mohamed Rouane-Hacene, Marianne Huchard, Amedeo Napoli, Petko Valtchev
     Relational Concept Analysis: Mining Concept Lattices From Multi-Relational Data. Annals of Mathematics and Artificial Intelligence, 67(1): 81-108 (2013)
  • Hajer Saada, Marianne Huchard, Clémentine Nebut, Houari A. Sahraoui
    Recovering model transformation traces using multi-objective optimization.  In proceedings of the 28th IEEE/ACM International Conference on Automated Software Engineering (ASE'13), Silicon Valley, CA, USA, November 11-15, 2013, pp. 688-693
  • R. Ducournau
    Implementing statically typed object-oriented programming languages. ACM Comput. Surv. 43(3): 18 (2011).
  • R. Ducournau, F. Morandat
    Perfect class hashing and numbering for object-oriented implementation. Software Practice & Experience, 41(6) 661-694, John Wiley & Sons, 2011 doi: 10.1002/spe.1024.

Voir toutes les publications de l'équipe : cliquer ici

Séminaires

Les séminaires ont lieu au LIRMM, Bâtiment 4, salle E 3.23

Sauf les jeudis 7 et 14 avril, où ils ont lieu au LIRMM, Bâtiment 4, salle E 2.23

Pages des séminaires extraites de Collorg (en cours de test) :

2017

Vendredi 3 mars 2017 à 14h00

Characterizing a software code base by analysing its commit log

Aurélien Regat-Barrel
Consultant - Klanik Montpellier

Résumé

Vendredi 24 février 2017 à 14h00

Recovering software architectures and analyzing architectural evolution (part 2/2)

Ghizlane El Boussaidi
Ecole de Technologie Supérieure de l'Université du Québec

Résumé

Vendredi 3 février 2017 à 15h00

Recovering software architectures and analyzing architectural evolution

Ghizlane El Boussaidi
Ecole de Technologie Supérieure de l'Université du Québec

Résumé

2016

Mercredi 9 novembre 2016 à 14h00

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

Blazo Nastov
EMA / LGI2P

Résumé

Vendredi 4 novembre 2016 à 14h00

Contributions au génie logiciel à base de composants – composition, réutilisation et évolution

Christelle Urtado
EMA / LGI2P

Résumé

Vendredi 30 septembre 2016 à 14h00

Modélisation exécutable et adaptation dynamique

Olivier Le Goaër
LIUPPA, Université de pau et des pays de l'Adour

Résumé

Vendredi 22 juillet 2016 à 14h00

Sémantique formelle et typage statique d'un langage orienté composant : COMPO

Julien Rixte
ENS Cachan

Résumé

Mardi 5 juillet 2016 à 15h00

An Introduction to Type Theory and Its Applications

Zhaohui LUO
Royal Holloway College, University of London

Résumé

Vendredi 1 juillet 2016 à 14h00

Orchestration automatisée de services

Frederi Scotto
BRICKS SAS

Résumé

Vendredi 24 juin 2016 à 14h00

Describing Dynamic and Variable Software Architecture Based on Identified Services From Object-Oriented Legacy Applications

Seza ADJOYAN
LIRMM, MaREL

Résumé

Mercredi 22 juin 2016 à 14h00

Composition de Services Web avec Prise en Charge de la QOS Incertaine

Fethallah Hadjila
Université de Tlemcen

Résumé

Vendredi 10 juin 2016 à 14h00

Modélisation discrète des applications affines en Coq

Nicolas Magaud
Icube, Strasbourg

Résumé

Vendredi 27 mai 2016 à 14h00

QoS-Aware Optimal and Automated Semantic Web Service Composition With User's Constraints

Amina Bekkouche
MaREL, LIRMM et UNIVERSITE DE TLEMCEN

Résumé

Jeudi 14 avril 2016 à 10h00

Interopérabilité sémantique des modèles

Gregory ZACHAREWICZ
IMS-LAPS, Groupe Productique (GRAI), Bordeaux

Résumé

Jeudi 7 avril 2016 à 10h00

Nunchaku: modular counter-model finding for all proof assistants

Simon Cruanes
LORIA, Nancy

Résumé

Vendredi 1 avril 2016 à 14h00

Assessing Web Service Quality of Experience by Text-Mining Users' Feedbacks

Jael Louis Zela Ruiz
LIRMM, MaREL

Résumé

Vendredi 25 mars 2016 à 14h00

Prouver un programme, ça veut dire quoi ?

David Delahaye

Résumé

Vendredi 11 mars 2016 à 14h00

Thèses Année 1 de MaREL

J. Carbonnel, A. Ferrand, A. Selmadji, F. Verdier, S. Zellagui
MaREL, LIRMM

Résumé

Vendredi 19 février 2016 à 14h00

Enseigner les systèmes cyber-physiques à l'UM ?

Philippe Reitz
LIRMM, MaREL

Résumé

Vendredi 12 février 2016 à 14h00

Tout ce que vous avez toujours voulu savoir sur les sémantiques formelles (sans jamais oser le demander)

David Delahaye
LIRMM, MaREL

Résumé

Vendredi 5 février 2016 à 14h00

Incremental development of UML models

Anne-Lise Courbis, Thomas Lambolais, Thanh-Liem Phan, Hong-Viet Luong
Ecole des Mines d'Alès, LGI2P, Equipe ISOE

Résumé

Vendredi 29 janvier 2016 à 14h00

Migrating Large Object-oriented Applications into Component-based ones: Instantiation and Inheritance Transformation

Zakarea M Al-Shara
MaREL, LIRMM

Résumé

Vendredi 15 janvier 2016 à 14h00

edukera : une nouvelle façon de faire des maths

Benoit Rognier
dirigeant de la société edukera

Résumé

2015

Vendredi 18 décembre 2015 à 14h00

A virtual machine for testing compilation/recompilation protocols in multiple inheritance

Julien Pagès
MaREL, Dept Info, LIRMM

Résumé

Mercredi 9 décembre 2015 à 14h00

Systèmes cyber-physiques : quels modèles ? quel processus de développement ? quel génie logiciel ?

Jacques Malenfant
Université Pierre et Marie Curie, LIP6

Résumé

Vendredi 20 novembre 2015 à 16h00

Sélection de Services Composés à base d’espérance-maximisation

Fethallah Hadjila
Université de Tlemcen

Résumé

Vendredi 20 novembre 2015 à 15h00

Une approche basée sur les préférences et les méta-heuristiques pour améliorer l’accessibilité des pages Web pour les personnes déficientes visuelles

Yoann Bonavero
MaREL

Résumé

Vendredi 13 novembre 2015 à 14h00

A formal approach to automate the evolution management in component-based software development processes

Abderrahman MOKNI
LGI2P, Ecole des Mines d'Alès

Résumé

Mardi 10 novembre 2015 à 11h00

Types and arithmetic in Zenon

Guillaume Bury
CNAM, CEDRIC

Résumé

Mardi 10 novembre 2015 à 11h00

Preuves certifiées pour la méthode B

Pierre Halmagrand
CNAM, CEDRIC

Résumé

Lundi 9 novembre 2015 à 14h00

Types and arithmetic in Zenon

Guillaume Bury
CNAM, CEDRIC

Résumé

Lundi 9 novembre 2015 à 14h00

Preuves certifiées pour la méthode B

Pierre Halmagrand
CNAM, CEDRIC

Résumé

Vendredi 6 novembre 2015 à 16h00

Les similarités sémantiques au cœur d’approches génériques d’indexation et de classification

Nicolas Fiorini
Ecole des Mines d'Alès LGI2P équipe KID

Résumé

Vendredi 6 novembre 2015 à 14h00

Regression-Based Bootstrapping of Web Service Reputation Measurement

Chouki Tibermacine
LIRMM, MaREL

Résumé

Jeudi 8 octobre 2015 à 10h00

Génération de modèles

Adel Ferdjoukh
MaREL, Dept Info, LIRMM

Résumé

Jeudi 25 juin 2015 à 10h00

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

Anas Shatnawi
LIRMM

Résumé

Jeudi 4 juin 2015 à 10h00

Modélisation pour la programmation des IHM, de la théorie à la pratique et inversement.

Mountaz Hascoet
LIRMM

Résumé

Jeudi 23 avril 2015 à 10h00

Structure de Treillis: Panorama des aspects structurels et algorithmiques. Quelques usages en fouille de données et représentation des connaissances.

Karell Bertet
Laboratoire L3i, Université de La Rochelle

Résumé

Mercredi 22 avril 2015 à 14h00

Quelques enjeux du Web des objets : Interopérabilité, vie privée et architectures logicielles

Michaël Mrissa
Liris, Université Lyon 1

Résumé

Jeudi 9 avril 2015 à 10h00

De la valeur et du coût d'avoir des utilisateurs: l’expérience RMOD

Stéphane Ducasse
Inria Lille

Résumé

Jeudi 26 mars 2015 à 11h00

Reliable Deployment, Reconfiguration, and Control of Cloud Applications

Gwen Salaün
INP Grenoble

Résumé

Jeudi 19 mars 2015 à 10h00

Formalisation de langages basés sur les composants

David Delahaye
CNAM

Résumé

Mots-clés

Ingénierie des modèles, Langages de programmation, Réutilisation, Objets, Composants, Services web, Lignes de produits, Compilation, Analyse Formelle de Concepts, Réingénierie

Dernière mise à jour le 08/02/2017