Recherche
de généralisations dans les modèles UML
Etude d'opérations de
transformation de modèles basées sur l'AFC (Analyse
Formelle de Concepts)
Sujets de Master
Recherche Informatique
Présentation générale
L'Ingénierie des modèles (IDM/MDE ou MDA) met l'accent
sur un usage intensif des modèles dans la construction des
logiciels. Elle préconise notamment de construire des
modèles (par exemple en UML) indépendants des
plate-formes d'exécution qui sont ensuite raffinés
jusqu'à obtenir une implémentation effective.
Produire des modèles métiers de haut niveau et bien
structurés devient ainsi un enjeu majeur dans la construction
des logiciels. Nous étudions des outils facilitant la
construction de tels modèles et notamment nous utilisons
l'Analyse Formelle de Concepts (AFC) pour améliorer la
qualité de la généralisation dans les
modèles. L'Analyse Formelle de Concepts s'intéresse en
effet de manière générale à extraire des
concepts (structurés dans un treillis) à partir d'un
ensemble d'individus décrits par un ensemble de
propriétés. Ce domaine s'applique assez bien à
notre problème pratique moyennant certains paramétrages
assez fins pour éviter une explosion combinatoire du nombre
d'éléments construits. L'utilisation de l'AFC s'apparente
par ailleurs à une opération complexe de transformation
de modèles, dans la tradition de l'IDM.
Sujet 1- Etat de l'art sur les standards et les outils de
transformation de modèles.
Il s'agira d'étudier les standards actuels traitant de la
transformation de modèles (notamment QVT) et les outils qui
proposent une telle approche. L'applicabilité des outils sera
plus particulièrement testée dans le cadre de
l'utilisation de l'Analyse Formelle de Concepts pour la
généralisation de modèles UML.
Sujet 2- Développement d'un outil de transformation de
modèles UML dans le cadre d'Eclipse
Poursuite du travail d'un précédent stage de Master
consistant à mettre au point un pluggin Eclipse effectuant une
refactorisation (généralisation) des modèles UML
grâce à l'analyse formelle de concepts.
Master
thesis de P. Seuring