Vérification et validation formelles de modèles UML

Cette th se s'int resse la probl matique de la v rification et de la validation (V&V) de mod les UML. Notre objectif est de d terminer d'une part qu'un mod le donn est bien form et coh rent, et d'autre part, qu'il satisfait les besoins des futurs utilisateurs du syst me d'information. Dans ce contexte, nos principales contributions portent sur la proposition de deux approches pour la v rification et la validation formelles de mod les UML. Ces deux approches sont r alis es suite l'identification des relations inter-diagrammes UML, issues principalement du processus unifi UP et du m ta-mod le UML. La premi re approche s'articule autour de la v rification de la coh rence d'un mod le UML. Elle permet de r duire le nombre important d'op rations de v rification l mentaire en pr servant la coh rence globale du mod le. La deuxi me approche propose une d marche de validation des besoins des utilisateurs exprim s sous forme de cas d'utilisation. L'objectif de cette approche consiste s'assurer que l'ensemble des besoins des utilisateurs, exprim s par les diagrammes de cas d'utilisation document s, est totalement couvert par le diagramme d'activit s tabli par l'expert de domaine.