Auteur
HAMROUCHE, Houda
Directeur de thèse
Kholladi Mohamed Khireddine (Maitre de conférence)
Filière
Informatique
Diplôme
Magister
Titre
Une Approche de transformation des diagrammes D’activité d’UML vers CSP basée sur la transformation de graphes.
Mots clés
Diagrammes d’activité d’UML, CSP, Transformation de graphes, ATOM³
Résumé
Actuellement, l’UML est devenu un standard largement accepté dans l'industrie de développement de logiciels orienté objet. Certains diagrammes d’UML sont utilisés pour modéliser la structure d'un système, d'autres sont utilisés pour modéliser son comportement. Les diagrammes d’état transition et les diagrammes d’interaction sont largement utilisés pour modéliser le comportement dynamique en UML. Les diagrammes d’état transition modélisent les états du cycle de vie d'un objet en réponse aux événements. Les diagrammes d’interaction modélisent l'interaction entre un ensemble d'objets à travers les messages (ou événements) qui peuvent être envoyés entre eux. Les diagrammes d'activité sont utilisés pour modéliser les systèmes workflow, les systèmes orientés services et les processus métiers. Le flux de contrôle inclut un support pour le séquencement, le choix, le parallélisme et les événements. Les activités peuvent être regroupées en sous activités et peuvent être imbriquées à différents niveaux. Toutefois, l'UML est un langage semi formel qui n'a pas des constructions définies rigoureusement. Communicating Sequential Processes (CSP) [Hoare85] est un langage formel pour décrire les modèles d’interaction dans les systèmes concurrents. C’est un membre de la famille des théories mathématiques de concurrence nommé algèbre de processus ou calcul de processus. CSP a été proposé en 1978 par C. A. R. Hoare, après, il a des applications dans l’industrie comme outil de spécification et de vérification des aspects concurrents de différents systèmes. Donc, UML et CSP ont des caractéristiques complémentaires: UML peut être utilisé pour la modélisation alors que CSP peut être utilisé pour l’analyse. L’objectif visé dans ce mémoire et de proposer une approche automatique de transformation des diagrammes d’activité d’UML vers CSP, basée sur la transformation de graphes, et réalisée à l’aide de l’outil ATOM³. Notre approche consiste à proposer un méta-modèle des diagrammes d’activité et une grammaire de graphes.
Statut
Soutenue