Thématique de recherche

Research interests in a few keywords ...

Formal Concept Analysis (FCA) for software engineering

FCA for software component directories (with N. Aboud, G. Arevalo, C. Tibermacine, C. Urtado, S. Vauttier)
FCA for Web service directories (with Z Azmeh, C. Tibermacine, C. Urtado, S. Vauttier)

FCA for class/interface hierarchy construction and analysis (with C. Dony, T. Libourel, M. Dao, PHD of H. Leblanc and C. Roume)
Algorithms for Galois sub-hierarchy construction

ARES (with H. Dicky, T. Libourel, C. Dony)
CERES (PHD of H. Leblanc)
PLUTON (with A. Sigayret, A. Berry)
Performance studies (with G. Perrot, G. Arévalo, A. Berry, A. Sigayret)

Relational Concept Analysis (RCA), an extension of FCA to relational data (PHD of M. Hacène Rouane and C. Roume, with P. Valtchev),

Application of RCA to UML (the same + M. Dao, C. Nebut, J.R. Falleri, G. Arévalo)

Application to Description Logics (the same + A. Napoli)

Galileo, Generic framework for RCA, guided by Model Driven Engineering (with C. Nebut, J.R. Falleri, G. Arévalo)
Application to example-based transformation generation in Model Driven Engineering (with X. Dolques, C. Nebut)

Component Based Software Engineering

Proposal of the langage SCL (PHD of Luc Fabresse, with Christophe Dony, G. Tremblay)
Composite ports for dynamic assembly (PHD of N. Desnos, C. Urtado, S. Vauttier, G. Tremblay)
FCA for software component directories (with G. Arévalo, N. Desnos, C. Urtado, S. Vauttier)
Domotic environments (with F Hamoui, C. Urtado, S. Vauttier)

Object-Oriented Software Engineering

visibility model, static access control (PHD G. Ardourel)
exception design (with Y. Ahronovitz)
Shadows (with M. Conrad)
Class hierarchy study

encoding (with M. Habib, L. Nourine)
decomposition algorithms (My PHD! with M. Habib, J. Spinrad)
conflict resolution based on linearizations (My PHD! with Michel Habib, Roland Ducournau, Marie-Laure Mugnier)
construction and analysis with FCA (return to first item :-)

Old, french version

Mes travaux s'articulent, dans le cadre de l'approche objet, autour de l'étude de certaines des structures de représentation et des mécanismes qui leur sont associés. Cette approche a finalement acquis une certaine maturité et de nombreux systèmes qui en sont issus sont devenus des standards. Il n'en reste pas moins que de nombreux problèmes théoriques et pratiques se posent encore. Mes travaux portent sur les points suivants.

Etude des hiérarchies de classes.
Un des concepts fondamentaux est la relation << d'héritage >>. Cette relation permet d'organiser les classes au sein d'un graphe sans circuit qui sert à la fois à structurer l'information et de base à des mécanismes de calcul. Je m'intéresse à différents aspects de la gestion ou de la construction de cette relation :
- Décomposition des graphes d'héritage,
  Collaborations: Michel Habib, occasionnellement J. Spinrad
- Mécanismes de résolution de l'héritage,
  Collaborations: Michel Habib, Roland Ducournau, Marie-Laure Mugnier
  Nous étudions les mécanismes qui se basent sur des parcours produisant un ordre total du graphe d'héritage, encore appelés linéarisations,
- Codage de hiérarchies,
  Collaborations: Michel Habib, Lhouari Nourine
- Construction de hiérarchies.
  Collaborations: Hervé Dicky, Christophe Dony, Hervé Leblanc, Thérèse Libourel
  Il s'agit de trouver et d'étudier :
  - des structures mathématiques adaptées à la construction automatique de hiérarchies, telles que des structures dérivées des treillis de Galois.
  - des algorithmes efficaces permettant de construire ces structures de manière globale ou incrémentale.
Etude de la protection
Collaborations: Gilles Ardourel, Thérèse Libourel
Nous menons une étude approfondie de la protection dans le cadre des langages et méthodes de conception par objets : modèles, cadre théorique, mécanismes.
Les exceptions dans la conception objet
Collaborations: Yolande Ahronovitz
Nous étudions la conception des exceptions dans un cadre objet : découverte, classification, rapport avec les autres éléments de la conception par objet (attributs, méthodes, héritage, associations, etc.)