Résumé
Dans le contexte d'un processus de développement basé sur la notation UML, les diagrammes de cas d'utilisation et les modèles ou documents qui les accompagnent pour traduire les besoins utilisateurs contribuent à formaliser la définition des besoins. Ils guident également toutes les étapes de construction du système depuis l'établissement du cahier des charges jusqu'à la réalisation des dossiers de test. Nous étudions la faisabilité d'une approche permettant la correction de certains défauts des diagrammes de cas d'utilisation UML (liés à une mauvaise utilisation des concepteurs) par introduction d'acteurs et de cas plus généraux, ainsi que de relations de spécialisation/généralisation appropriées. Les différents cas de refactorisation par introduction de généralisations sont considérés de manière systématique, en utilisant la structure du diagramme et une segmentation des noms des cas. Cette étude débouche sur une utilisation de l'Analyse Formelle de Concepts pour traiter la refactorisation de manière globale. Une chaîne d'outils permet de partir d'un diagramme de cas d'utilisation UML et d'analyser différentes généralisations possibles qui aboutissent le plus souvent à une simplification du diagramme.