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

National audienceAs 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