| Titre : | Analyse et Restructuration de Hiérarchies de Classes | | Type de document : | texte imprimé | | Auteurs : | C. ROUME, Auteur | | Année de publication : | 2004 | | Langues : | Français (fre) | | Tags : | LANGAGE ORIENTE OBJET TREILLIS DE GALLOIS METRIQUES RECONSTRUCTION DE HIERARCHIES DE CLASSES PRINCIPE DE FACTORISATION ET DE GENERALISATION ANALYSE FORMELLE DE CONCEPTS (FCA) | | Index. décimale : | THE Thèses de doctorat | | Résumé : | La taille des hiérarchies de classes ainsi que leur complexité ne permettent plus à un être humain d'en maîtriser tous les aspects. Parmi ceux-ci, nous nous intéressons à la factorisation des propriétés, ce qui implique de les connaître dans leur ensemble, sachant que dans une hiérarchie les propriétés peuvent se compter en dizaines de milliers. Les relations intuitives de spécialisation/généralisation, qui sont conçues entre propriétés d'une hiérarchie de classes et qui ne possèdent aucun support qui les matérialise, sont des difficultés supplémentaires qu'un concepteur ne peut maîtriser sans outil. Afin d'aider un concepteur à gérer ces aspects nous proposons dans cette thèse des méthodes automatiques d'analyse des hiérarchies de classes. La première contribution, pour cette analyse, est un modèle sémantique qui décrit les propriétés de cette hiérarchie ainsi que les relations de spécialisation/généralisation qui existent entre elles. La deuxième contribution est un ensemble de métriques qui quantifient les défauts de factorisation ainsi que le non respect, par les relations d'héritage, des relations de spécialisation/généralisation mises en évidence dans le modèle sémantique. Dans une deuxième partie de la thèse nous proposons, grâce à l'analyse formelle de concepts (treillis de Galois), de restructurer automatiquement une hiérarchies de classes ainsi qu'un diagramme de classes UML. En premier lieu nous adaptons l'algorithme de restructuration CERES au modèle sémantique. Puis nous apportons une nouvelle méthode de restructuration, la méthode GCI (Généralisation Croisée Itérative), que nous appliquons sur des diagrammes UML du milieu industriel (France Télécom R\&D). ** Mots clés Langages à objets, Treillis de Galois (treillis de concepts), Métriques, Reconstruction de Hiérarchies de classes, Principe de Factorisation et de généralisation, Analyse Formelle de Concepts (FCA).
The class hierarchy size and complexity can not authorize any more a human to master the whole hierarchy aspects in its mind. Among those aspects, we are interesting in property factorization, which imply the whole knowledge of them inside a hierarchy, but they can be counted by dozen of thousand. Specialization/generalization intuitive relationships, which are designed between properties of classes without any language supports are additional difficulties that a designer can not master without any tool. In order to help a designer to manage these aspects we propose in this thesis some automatic method to analyse class hierarchies. The first contribution is a semantic model which allows to describe the properties of a hierarchy with their specialization/generalization relationships. The second contribution is a set of metrics which measure the factorization defaults and the lack of respect, by inheritance relationships, of the specialization/generalization relationships showed through the semantic model. In the second part of the thesis we propose, through to formal concept analysis (Galois lattices), to restructure automatically a class hierarchy and a UML class diagram. Firstly we adapt the restructuring algorithm CERES to the semantic model. Then we bring a new method of restructuring, the method ICG (Iterative Cross Generalization), that we apply on industrial UML class diagram (France Télécom R\&D). ** Keywords: Objects languages, Galois lattices (concept lattices), Metrics, Classes hierarchy restructuring, Factorization and generalization principle, Formal Concept Analyses (FCA). ** Les membres du jury - Amedeo Napoli, Directeur de recherche CNRS, LORIA à Nancy, Rapporteur - Houari Sahraoui, Professeur agrégé, Université de Montréal, Rapporteur - Michel Dao, Ingenieur I3A, France Télécom R&D à Issy-les-moulineaux, Examinateur , Président - Roland Ducournau, Professeur à l'Université Montpellier 2, Direteur de thèse - Marianne Huchard, Professeur à l'Université Montpellier 2, Co-encadrant - Thérèse Libourel, Maître de Conférences au CNAM, Co-encadrant | | Directeur(s) de thèse : | DUCOURNAU R. | | Co-directeur(s) de thèse : | HUCHARD M.;LIBOUREL T. | | Président du jury : | DAO M. | | Rapporteur(s) : | NAPOLI A.;SAHRAOUI H. | | Date de soutenance : | 09/11/2004 |
Analyse et Restructuration de Hiérarchies de Classes [texte imprimé] / C. ROUME, Auteur . - 2004. Langues : Français ( fre) | Tags : | LANGAGE ORIENTE OBJET TREILLIS DE GALLOIS METRIQUES RECONSTRUCTION DE HIERARCHIES DE CLASSES PRINCIPE DE FACTORISATION ET DE GENERALISATION ANALYSE FORMELLE DE CONCEPTS (FCA) | | Index. décimale : | THE Thèses de doctorat | | Résumé : | La taille des hiérarchies de classes ainsi que leur complexité ne permettent plus à un être humain d'en maîtriser tous les aspects. Parmi ceux-ci, nous nous intéressons à la factorisation des propriétés, ce qui implique de les connaître dans leur ensemble, sachant que dans une hiérarchie les propriétés peuvent se compter en dizaines de milliers. Les relations intuitives de spécialisation/généralisation, qui sont conçues entre propriétés d'une hiérarchie de classes et qui ne possèdent aucun support qui les matérialise, sont des difficultés supplémentaires qu'un concepteur ne peut maîtriser sans outil. Afin d'aider un concepteur à gérer ces aspects nous proposons dans cette thèse des méthodes automatiques d'analyse des hiérarchies de classes. La première contribution, pour cette analyse, est un modèle sémantique qui décrit les propriétés de cette hiérarchie ainsi que les relations de spécialisation/généralisation qui existent entre elles. La deuxième contribution est un ensemble de métriques qui quantifient les défauts de factorisation ainsi que le non respect, par les relations d'héritage, des relations de spécialisation/généralisation mises en évidence dans le modèle sémantique. Dans une deuxième partie de la thèse nous proposons, grâce à l'analyse formelle de concepts (treillis de Galois), de restructurer automatiquement une hiérarchies de classes ainsi qu'un diagramme de classes UML. En premier lieu nous adaptons l'algorithme de restructuration CERES au modèle sémantique. Puis nous apportons une nouvelle méthode de restructuration, la méthode GCI (Généralisation Croisée Itérative), que nous appliquons sur des diagrammes UML du milieu industriel (France Télécom R\&D). ** Mots clés Langages à objets, Treillis de Galois (treillis de concepts), Métriques, Reconstruction de Hiérarchies de classes, Principe de Factorisation et de généralisation, Analyse Formelle de Concepts (FCA).
The class hierarchy size and complexity can not authorize any more a human to master the whole hierarchy aspects in its mind. Among those aspects, we are interesting in property factorization, which imply the whole knowledge of them inside a hierarchy, but they can be counted by dozen of thousand. Specialization/generalization intuitive relationships, which are designed between properties of classes without any language supports are additional difficulties that a designer can not master without any tool. In order to help a designer to manage these aspects we propose in this thesis some automatic method to analyse class hierarchies. The first contribution is a semantic model which allows to describe the properties of a hierarchy with their specialization/generalization relationships. The second contribution is a set of metrics which measure the factorization defaults and the lack of respect, by inheritance relationships, of the specialization/generalization relationships showed through the semantic model. In the second part of the thesis we propose, through to formal concept analysis (Galois lattices), to restructure automatically a class hierarchy and a UML class diagram. Firstly we adapt the restructuring algorithm CERES to the semantic model. Then we bring a new method of restructuring, the method ICG (Iterative Cross Generalization), that we apply on industrial UML class diagram (France Télécom R\&D). ** Keywords: Objects languages, Galois lattices (concept lattices), Metrics, Classes hierarchy restructuring, Factorization and generalization principle, Formal Concept Analyses (FCA). ** Les membres du jury - Amedeo Napoli, Directeur de recherche CNRS, LORIA à Nancy, Rapporteur - Houari Sahraoui, Professeur agrégé, Université de Montréal, Rapporteur - Michel Dao, Ingenieur I3A, France Télécom R&D à Issy-les-moulineaux, Examinateur , Président - Roland Ducournau, Professeur à l'Université Montpellier 2, Direteur de thèse - Marianne Huchard, Professeur à l'Université Montpellier 2, Co-encadrant - Thérèse Libourel, Maître de Conférences au CNAM, Co-encadrant | | Directeur(s) de thèse : | DUCOURNAU R. | | Co-directeur(s) de thèse : | HUCHARD M.;LIBOUREL T. | | Président du jury : | DAO M. | | Rapporteur(s) : | NAPOLI A.;SAHRAOUI H. | | Date de soutenance : | 09/11/2004 |
|