Raffinement Et Refactoring de Spcifications UML

La spcification de systmes complexes est une tche difficile qui ne peut tre accomplie en une seule tape. Dans les mthodes formelles, le concept de raffinement a donn lieu de nombreux travaux dans lesquels la preuve de la correction entre les diffrents tats de spcifications joue un rle important. L'activit de refactoring consiste restructurer un modle en vue d'amliorer certains facteurs de qualit, tout en prservant la cohrence de ce modle.Ce travail prconise l'utilisation de deux techniques de raffinement et de refactoring afin d'tablir des modles UML de qualit c'est--dire corrects par construction, extensibles, rutilisables et efficaces. En outre, elle plaide en faveur de l'utilisation conjointe UML (semi-formel) et B et CSP (formels). Les principales contributions de ce travail sont: proposition des patterns de raffinement de diagrammes de classes UML/OCL afin de guider le concepteur lors de la modlisation statique de son application et proposition des schmas de refactoring des modles UML dcrits par des diagrammes de classes, contraintes OCL et diagrammes d'tats-transitions afin d'aider le concepteur lors de la restructuration des modles UML.