verification de la cohérence d'un diagramme ecrit en notion BPMN / Soumeya Aouati 

Public ISBD Titre : verification de la cohérence d'un diagramme ecrit en notion BPMN Type de document : texte imprimé Auteurs : Soumeya Aouati, Auteur ; Meriem Ramdani, Auteur ; Mohamed Naoufel Kholladi, Directeur de thèse Editeur : CONSTANTINE [ALGERIE] : Université Frères Mentouri Constantine Année de publication : 2012 Importance : 69 f. Format : 30 cm. Note générale : Une copie electronique PDF disponible au BUC. Langues : Français (fre) Catégories : Informatique Index. décimale : 004 Traitement de données. Informatique Diplome : Master 2 Permalink : https://bu.umc.edu.dz/master/index.php?lvl=notice_display&id=7322 verification de la cohérence d'un diagramme ecrit en notion BPMN [texte imprimé] / Soumeya Aouati, Auteur ; Meriem Ramdani, Auteur ; Mohamed Naoufel Kholladi, Directeur de thèse . - CONSTANTINE [ALGERIE] : Université Frères Mentouri Constantine, 2012 . - 69 f. ; 30 cm. Une copie electronique PDF disponible au BUC. Langues : Français (fre) Catégories : Informatique Index. décimale : 004 Traitement de données. Informatique Diplome : Master 2 Permalink : https://bu.umc.edu.dz/master/index.php?lvl=notice_display&id=7322

Réservation

Réserver ce document

Exemplaires (1)

Code-barres	Cote	Support	Localisation	Section	Disponibilité
MSINF120058	MSINF120058	Document électronique	Bibliothèque principale	Mémoires	Disponible

Documents numériques

texte integré Adobe Acrobat PDF

Vérification de la cohérence des diagrammes d’activité UML: approche basée sur la transformation de graphes / Meriem Ati 

Public ISBD 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

Réservation

Réserver ce document

Exemplaires (1)

Code-barres	Cote	Support	Localisation	Section	Disponibilité
MSINF110014	MSINF110014	Document électronique	Bibliothèque principale	Mémoires	Disponible

Documents numériques

texte integré Adobe Acrobat PDF

Vers une Correction des Incohérences d'un Diagramme d'Activité UML / Maria Chelli 

Public ISBD Titre : Vers une Correction des Incohérences d'un Diagramme d'Activité UML Type de document : texte imprimé Auteurs : Maria Chelli, Auteur ; Raihana Lemoui, Auteur ; Mohamed Naoufel Kholladi, Directeur de thèse Editeur : CONSTANTINE [ALGERIE] : Université Frères Mentouri Constantine Année de publication : 2012 Importance : 76 f. Format : 30 cm. Note générale : Une copie electronique PDF disponible au BUC. Langues : Français (fre) Catégories : Informatique Tags : Diagrammes d‟activités UML, Transformation de graphe, Vérification, correction. Index. décimale : 004 Traitement de données. Informatique Résumé : Les diagrammes d‟activités UML décrivent les processus métiers par un ensemble d‟activité. Lors de l‟implémentation des processus métiers sous une architecture orientée service, les activités sont transformées en services web correspondants. Ces services devront alors être exécutés selon l‟ordre spécifié par le processus IV métier. Toutefois, l‟exécution d‟un service web peut requérir l‟exécution préalable d‟autres services web : il s‟agit des préconditions d‟un service web. Afin que ces préconditions soient satisfaites, il faudrait vérifier la cohérence des diagrammes d‟activités et après la localisation des incohérences, procéder par une correction. Dans l‟idéal, le processus de vérification et de correction doit être entièrement automatisé. Néanmoins, les erreurs qui peuvent survenir lors de la conception des diagrammes d‟activités peuvent être sujettes à une mauvaise interprétation des objectives du modeleur. Dans ce mémoire, nous proposons une ébauche vers la correction des incohérences d‟un diagramme d‟activité UML. Pour ce faire, nous avons équipé les diagrammes avec une sémantique formelle en termes de transformations de graphes Diplome : Master 2 Permalink : https://bu.umc.edu.dz/master/index.php?lvl=notice_display&id=7124 Vers une Correction des Incohérences d'un Diagramme d'Activité UML [texte imprimé] / Maria Chelli, Auteur ; Raihana Lemoui, Auteur ; Mohamed Naoufel Kholladi, Directeur de thèse . - CONSTANTINE [ALGERIE] : Université Frères Mentouri Constantine, 2012 . - 76 f. ; 30 cm. Une copie electronique PDF disponible au BUC. Langues : Français (fre) Catégories : Informatique Tags : Diagrammes d‟activités UML, Transformation de graphe, Vérification, correction. Index. décimale : 004 Traitement de données. Informatique Résumé : Les diagrammes d‟activités UML décrivent les processus métiers par un ensemble d‟activité. Lors de l‟implémentation des processus métiers sous une architecture orientée service, les activités sont transformées en services web correspondants. Ces services devront alors être exécutés selon l‟ordre spécifié par le processus IV métier. Toutefois, l‟exécution d‟un service web peut requérir l‟exécution préalable d‟autres services web : il s‟agit des préconditions d‟un service web. Afin que ces préconditions soient satisfaites, il faudrait vérifier la cohérence des diagrammes d‟activités et après la localisation des incohérences, procéder par une correction. Dans l‟idéal, le processus de vérification et de correction doit être entièrement automatisé. Néanmoins, les erreurs qui peuvent survenir lors de la conception des diagrammes d‟activités peuvent être sujettes à une mauvaise interprétation des objectives du modeleur. Dans ce mémoire, nous proposons une ébauche vers la correction des incohérences d‟un diagramme d‟activité UML. Pour ce faire, nous avons équipé les diagrammes avec une sémantique formelle en termes de transformations de graphes Diplome : Master 2 Permalink : https://bu.umc.edu.dz/master/index.php?lvl=notice_display&id=7124

Réservation

Réserver ce document

Exemplaires (1)

Code-barres	Cote	Support	Localisation	Section	Disponibilité
MSINF120039	MSINF120039	Document électronique	Bibliothèque principale	Mémoires	Disponible

Documents numériques

texte integré Adobe Acrobat PDF

---

1 (1 - 3 / 3)