Thèse soutenue

Sous-hiérarchie de Galois : un modèle pour la construction et l'évolution des hiérarchies d'objets

FR
Auteur / Autrice : Hervé Leblanc
Direction : Roland Ducournau
Type : Thèse de doctorat
Discipline(s) : Informatique
Date : Soutenance en 2000
Etablissement(s) : Montpellier 2

Mots clés

FR

Résumé

FR

La production et la maintenance des hierarchies de classes (classes devant etre compris au sens large, incluant en particulier les interfaces au sens des langages java et idl) sont des points cles dans l'ingenierie des objets. Nous avons choisi, pour automatiser les procedes de construction de ces hierarchies, de produire un sous-ordre utile du treillis de galois (ou treillis de concepts), appele sous-hierarchie de galois. Cette structure assure une factorisation totale des proprietes et une organisation des classes coherente d'un point de vue conceptuel. Notre problematique est l'etude de la construction globale de la sous-hierarchie de galois. Une telle construction part de la donnee de la relation binaire a pour propriete entre un ensemble de proprietes. Nous comparons et analysons differents algorithmes globaux qui produisent des structures proches d'une sous-hierarchie de galois. Puis nous proposons et etudions les proprietes d'un algorithme global efficace construisant une sous-hierarchie de galois. Cet algorithme est base sur une nouvelle definition constructive de la structure et sur l'entrelancement de deux extensions lineaires, l'une portant sur les concepts qui factorisent les proprietes, et l'autre sur les concepts dont le seul role est de definir les classes d'origine. Cet algorithme est implemente et mis en pratique. A partir d'une hierarchie de classes java (en heritage simple), nous montrons comment produire automatiquement la sous-hierarchie de galois des interfaces java (en heritage multiple) correspondante. Cette technique est appliquee a certaines parties de l'api java, ainsi qu'a une application developpee au sein de france telecom r&d, et les resultats sont discutes. Nous indiquons quelques pistes pour utiliser cette technique dans une optique de retro-conception.