| Titre : | Une modélisation formelle des services composites |
| Auteurs : | Houssam Eddine Chemmar, Auteur ; Siham Sahli, 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, 2018 |
| Format : | 1 vol. (153 p.) / 30 cm |
| Langues: | Français |
| Mots-clés: | service web,composition de services web,modélisation formelle de services Web composite,orchestration,BPEL,CPN Tools. |
| Résumé : |
De nos jours, les services web sont devenus très utilisés notamment par les entreprises pour rendre accessible leurs métiers et leurs donné es via le web. La composition des services web est un sujet qui suscite l’intérêt des chercheurs, elle offre la possibilité de traitement de problèmes complexes même avec des services simples existants tout en coopérant entre eux. Toutefois, cette tâche reste très complexe et nécessite pour son accomplissement des techniques formelles. L'objectif principal de notre travail est de fournir une modélisation formelle de services Web composite de type orchestration «BPEL».Nous avons également transformé le fichier BPEL en réseau pétri coloré,avec la possibilité de vérifier ce RdPC afin de vérifier le service composite. |
| Sommaire : |
Chapitre 1 : Les services web et la composition des services web Chapitre 2 : La modélisation formelle des services composite Chapitre 3 : La conception de système Chapitre 4 : Implémentation |
Disponibilité (1)
| Cote | Support | Localisation | Statut |
|---|---|---|---|
| MINF/376 | Mémoire master | bibliothèque sciences exactes | Consultable |
