V?ification Et Validation Formelles de Mod?es 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.

Author: Ali-M

Publisher: Omniscriptum

Publication Date: Feb 28, 2018

Number of Pages: 240 pages

Binding: Paperback or Softback

ISBN-10: 6131551359

ISBN-13: 9786131551352