| Titre : | vérification de la conformité d'un ensenble d'orchestrations de services web à une chorégraphie. |
| Auteurs : | NADJIB LABED, Auteur ; Amira Mohammedi, Directeur de thèse |
| Type de document : | Monographie imprimée |
| Editeur : | Biskra [Algérie] : Faculté des Sciences Exactes et des Sciences de la Nature et de la Vie, Université Mohamed Khider, 2015 |
| ISBN/ISSN/EAN : | MINF/136 |
| Format : | 1 vol. (62 p.) / ill. / 29 cm |
| Langues: | Français |
| Résumé : |
L’objectif du présent travail était de proposer un processus de vérification de la conformité d’un ensemble d’orchestration de services Web à une chorégraphie. Pour ce faire, nous avons fait recours à plusieurs techniques du génie logiciel, à savoir : La spécification, la modélisation, la simulation et la vérification. Nous avons proposé un processus de vérification de la conformité des orchestration à la chorégraphie qui contient plusieurs étapes. Nous avons utilisé pour la spécification des orchestrations et de la chorégraphie les deux standards WS-BPEL et WS-CDL respectivement. Nous avons opté pour le modèle des RDPs pour la modélisation de nos spécifications. Nous avons généré les graphes de marquages de nos RDPs. Et c’est l’étape que nous avons implémenté pour ce travail. Enfin, nous avons expliqué comment pourrait-on vérifier la bi-similarité des deux graphes. Comme tout travail, nous espérons le compléter par des travaux futurs. Pour cela, nous pouvons citer les perspectives suivantes : implémenter les autres étapes du processus de vérification. Prendre en compte l’aspect temporel dans la spécification, la modélisation (les RDP temporelle[14].) et alors la vérification. |
| Sommaire : |
Introduction générale ............................................................... 1 Chapitre I Composition de services Web dans les SOAs ................................... 4 I.1- Introduction ........................................................ 4 I.2- SOA : Service Oriented Architecture ..................................... 4 I.3- Composition des services web ......................................... 4 I.3.1- Orchestration ............................................................. 5 I.3.2- Chorégraphie ................................................ 6 I.4- Problématique ...................................................... 9 I.5- Propriétés pour la vérification de la conformité des orchestrations à la chorégraphie ... 10 I.6- Processus de vérification de la conformité ......... 12 I.7- Conclusion ................................ 13 Chapitre II Réseaux de Pétri ................................. 14 II.1- Introduction .............................. 14 II.2- Définition informelle .............................................. 14 II.3- Définition formelle ........................................................ 14 II.4- Représentation des RDPs ..................................... 15 II.5- Propriétés des RDPs ...................................... 16 II.6- Graphes de marquages............................................ 16 II.6.1- Exemple 1 ................................... 16 II.7- Conclusion ........................................................ 19 Chapitre III Transformation des contrats vers Réseaux de Pétri ......................... 21 III.1- Introduction ....................................................... 21 III.2- Transformation de WS-BPEL vers RDP ............................. 21 III.2.1- Activités structurelles vers RDP ............................. 21 III.2.2- Activités conditionnelles vers RDP ........................ 23 III.2.3- Activités de communications vers RDP ..................... 32 III.2.4- Exemple illustratif ........................................................ 32 III.3- Fragments WS-CDL versus RDP ................................... 36 III.3.1- Exemple illustratif : ................................................ 38 III.4- Compression d’activités ............................................ 41 III.5- Caractéristiques des RDPs pour services web .......... 42 III.6- Conclusion ......................................... 42 Chapitre IV Vérification de la bi-similarité des chemins d’exécution ............................ 43 IV.1- Introduction ......................................................... 43 IV.2- Systèmes de transitions(Automates) .................................... 43 IV.2.1- Automates finis ................................................. 43 IV.2.1.1- Définition ................................................. 43 IV.2.1.2- Exemple ......................................... 44 IV.2.1.3- Mots et langages ................................. 45 IV.2.2- Equivalences comportementales ........................... 45 IV.2.2.1- Bi-simulation forte ......................................... 46 IV.2.2.2- Bi-siulation faible. ....................................... 46 IV.3- Conclusion ............................................... 48 Chapitre V Implémentation ......................................... 50 V.1- Introduction ........................................................ 50 V.2- Langage et plateforme d’implémentation ......................... 50 V.3- Procédure d’extraction des graphes de marquages d’un RDP : .............................. 50 V.3.1- Entrées du système ......................................... 51 V.4- Structure de données ................................................ 53 V.5- Algorithmes ............................................................... 55 V.6- Sorties du système ......................................................... 56 V.7- Exemple d’exécution: ............................................... 56 V.8- Conclusion ................................................................ 59 Conclusion générale et perspectives .................................. 60 Références 62 |
| Type de document : | Mémoire master |
Disponibilité (1)
| Cote | Support | Localisation | Statut |
|---|---|---|---|
| MINF/136 | Mémoire | bibliothèque sciences exactes | Consultable |
