Analyse formelle de données relationnelles pour la réingénierie des modèles UML

As a key software artifact, UML class diagrams must be well designed, i.e., complete w.r.t. the domain and non-redundant. As both may easily deteriorate along a protracted evolution, refactoring is used as remedy. Concept analysis-based refactoring redistributes class members among the initial classes while rearranging and possibly completing the class hierarchy. An approach is presented for refactoring whose scope includes, besides classes, associations, methods, attributes, etc. and whose emphaisis is on suitable processing of meta-links that keep model elements together. Aspects of the approach, including two-way translation between UML and the analysis formats, semantic ambiguity processing, etc. are discussed here.

[1]  Bernhard Ganter,et al.  Formal Concept Analysis: Mathematical Foundations , 1998 .

[2]  Rudolf Wille,et al.  Restructuring Lattice Theory: An Approach Based on Hierarchies of Concepts , 2009, ICFCA.

[3]  Christiane Fellbaum,et al.  Book Reviews: WordNet: An Electronic Lexical Database , 1999, CL.

[4]  Giuliano Antoniol,et al.  Object oriented design pattern inference , 1999, Proceedings IEEE International Conference on Software Maintenance - 1999 (ICSM'99). 'Software Maintenance for Business Change' (Cat. No.99CB36360).

[5]  Erhard Rahm,et al.  A survey of approaches to automatic schema matching , 2001, The VLDB Journal.

[6]  Ivar Jacobson,et al.  The Unified Modeling Language User Guide , 1998, J. Database Manag..

[7]  L. Beran,et al.  [Formal concept analysis]. , 1996, Casopis lekaru ceskych.

[8]  Marianne Huchard,et al.  Towards Practical Tools for Mining Abstractions in UML Models , 2006, ICEIS.

[9]  Hafedh Mili,et al.  Building and maintaining analysis-level class hierarchies using Galois Lattices , 1993, OOPSLA '93.

[10]  Gregor Snelting,et al.  Refactoring class hierarchies with KABA , 2004, OOPSLA '04.

[11]  Marianne Huchard,et al.  On automatic class insertion with overloading , 1996, OOPSLA '96.

[12]  Bernhard Ganter,et al.  Using Conceptual Structures: Contributions to ICCS 2003 , 2003 .

[13]  Cyril Roume Analyse et restructuration de hiérarchies de classes , 2004 .

[14]  Jérôme Euzenat,et al.  Similarity-Based Ontology Alignment in OWL-Lite , 2004, ECAI.

[15]  Petko Valtchev,et al.  Construction automatique de taxonomies pour l'aide à la représentation de connaissances par objets , 1999 .

[16]  Gregor Snelting Software reengineering based on concept lattices , 2000, Proceedings of the Fourth European Conference on Software Maintenance and Reengineering.

[17]  Rokia Missaoui,et al.  Design of Class Hierarchies Based on Concept (Galois) Lattices , 1998, Theory Pract. Object Syst..

[18]  RahmErhard,et al.  A survey of approaches to automatic schema matching , 2001, VLDB 2001.

[19]  Marianne Huchard,et al.  Improving Generalization Level in UML Models Iterative Cross Generalization in Practice , 2004, ICCS.

[20]  Petko Valtchev,et al.  Galicia : an open platform for lattices , 2003 .