Approche déclarative pour la construction de treillis de
concepts
Une application de l'ingénierie
des
modèles
Encadrants : Marianne Huchard,
Jean-Rémy Falleri
Collaborations : Gabriela
Arévalo, LIFIA, Argentine ; Tom Mens, Univ. Mons-Hainault,
Belgique
La construction de treillis de concepts (treillis de Galois) est la
transformation centrale d'une méthode d'amélioration des
modèles que
nous développons dans l'équipe D'OC depuis plusieurs
années. Cette
méthode consiste à rechercher des abstractions
(éléments plus généraux,
super-classes, etc.) dans les modèles, problématique qui
s'apparente à
l'aprentissage non supervisé et à la fouille de
données.
Construire un treillis de concepts de manière efficace demande
évidemment des algorithmes astucieux qui sont
généralement écrits dans
un langage impératif ou objet. C'est ainsi que nous avons
abordé le
problème dans les implémentations existantes de nos
outils.
A l'inverse, l'ingénierie des modèles, qui est notre
cadre de réflexion
actuel, préconise l'explicitation des transformations de
modèles,
qualité plus facilement atteinte avec des langages de
transformation à
base de règles (langages déclaratifs) qu'avec des
langages impératifs. Cette
explicitation de la transformation permet notamment un
paramétrage plus
facile des transformations et un contrôle fin de l'utilisateur
sur les
règles et la construction des concepts.
Le travail consistera à exprimer de manière
déclarative la construction
d'un treillis de concepts à partir d'une relation binaire,
puis à étudier l'implémentation des
règles de construction dans deux outils
basés sur des langages déclaratifs, un outil de
transformation de
graphes (AGG) et un langage de transformation de modèles
(TefKat).
Lors de l'étude, il s'agira d'évaluer notamment :
- l'expressivité des langages,
- la faisabilité en temps d'exécution,
- la possibilité de contrôler l'exécution.
D'autres langages de transformation déclaratifs pourront aussi
être
proposés et étudiés.
Parcours : CODA
Modules conseillés :
Ingénierie des modèles (UMINR323), Apprentissage
(UMINR301), Fouille de
données (UMINR306), bases de théorie des graphes
Références
Généralisation
de modèles UML (conf. IDM 2005)
Approche
MDE pour la recherche d'abstraction dans les modèles UML (conf.
MoDELS/UML 2006)
Outil de transformation de
graphes AGG
Langage
déclaratif
TekKat