| 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 |
|
Affiner la recherche
