Titre :	Vérification de la cohérence des diagrammes d’activité UML: approche basée sur la transformation de graphes
Type de document :	texte imprimé
Auteurs :	Meriem Ati, Auteur ; Amira Chebouba, Auteur ; Mohamed Naoufel Kholladi, Directeur de thèse
Editeur :	CONSTANTINE [ALGERIE] : Université Frères Mentouri Constantine
Année de publication :	2011
Importance :	83 f.
Format :	30 cm.
Note générale :	Une copie electronique PDF disponible au BUC.
Langues :	Français (fre)
Catégories :	Informatique
Tags :	Les processus métiers , services web, Diagrammes d’activité UML, transformations de graphes.
Index. décimale :	004 Traitement de données. Informatique
Résumé :	Les modèles des processus métiers permettent de décrire des flux de travail par un ensemble d’actions ordonnées. Lorsque les processus métiers sont implémentés dans une architecture orientée service, leurs actions sont mappées en des services web existants qui doivent à leur tour être exécutés dans l’ordre spécifié par les processus métiers. Toutefois, lors de son exécution, le service web peut requérir la présence de certaines préconditions qui peuvent ne pas être remplis, et de ce fait, une incohérence serait pré- sente à son niveau. Dans ce mémoire nous proposons une technique pour vérifier la cohérence des processus métiers dans le contexte des diagrammes d’activités UML. Ces diagrammes sont équipés d’une sémantique formelle (en termes de transformation de graphes). Nous montrerons comment construire un ensemble de règles au moyen d’un outil de transformation de graphe afin de permettre cette vérification.
Diplome :	Master 2
Permalink :	https://bu.umc.edu.dz/master/index.php?lvl=notice_display&id=7398

Vérification de la cohérence des diagrammes d’activité UML: approche basée sur la transformation de graphes [texte imprimé] / Meriem Ati, Auteur ; Amira Chebouba, Auteur ; Mohamed Naoufel Kholladi, Directeur de thèse . - CONSTANTINE [ALGERIE] : Université Frères Mentouri Constantine, 2011 . - 83 f. ; 30 cm.
Une copie electronique PDF disponible au BUC.
Langues : Français (fre)

Catégories :	Informatique
Tags :	Les processus métiers , services web, Diagrammes d’activité UML, transformations de graphes.
Index. décimale :	004 Traitement de données. Informatique
Résumé :	Les modèles des processus métiers permettent de décrire des flux de travail par un ensemble d’actions ordonnées. Lorsque les processus métiers sont implémentés dans une architecture orientée service, leurs actions sont mappées en des services web existants qui doivent à leur tour être exécutés dans l’ordre spécifié par les processus métiers. Toutefois, lors de son exécution, le service web peut requérir la présence de certaines préconditions qui peuvent ne pas être remplis, et de ce fait, une incohérence serait pré- sente à son niveau. Dans ce mémoire nous proposons une technique pour vérifier la cohérence des processus métiers dans le contexte des diagrammes d’activités UML. Ces diagrammes sont équipés d’une sémantique formelle (en termes de transformation de graphes). Nous montrerons comment construire un ensemble de règles au moyen d’un outil de transformation de graphe afin de permettre cette vérification.
Diplome :	Master 2
Permalink :	https://bu.umc.edu.dz/master/index.php?lvl=notice_display&id=7398