GEOTRUST SSL CERTIFICATE
| Titre : | VERS LA VERIFICATION DES SERVICES WEB |
| Auteurs : | Dr. KHATER Maamar, Directeur de thèse ; BENEDDINE Fatima, Auteur ; Ogbi farida, Auteur |
| Type de document : | texte imprimé |
| Editeur : | Algèrie:unv saida-Dr Moulay Tahar, 2018 |
| Format : | 73 p / Figures & tableaux / 29 cm |
| Accompagnement : | CD rom |
| Note générale : | Bibliographie |
| Langues: | Français |
| Catégories : | |
| Résumé : |
Le travail présenté dans ce mémoire rejoint les travaux qui explorent le domaine de la
vérification de l'orchestration des services web. En effet, les travaux de recherches acquièrent une grande importance à la vérification de l'orchestration à travers la définition de différentes propriétés pour mener à une fiable composition de services web. Ce travail concerne à la réalisation de la vérification des services web syntaxiques(BPEL) et sémantiques (OWL-S) après qu’on a les transformé en langage Promela. |
| Note de contenu : |
Introduction générale
Chapitre Ι : les services web Chapitre ΙI : Vérification des services web Chapitre ΙII : Transformation Chapitre ΙV : implémentation et résultats Conclusion générale |
Exemplaires (1)
| Code-barres | Cote | Support | Localisation | Section | Disponibilité |
|---|---|---|---|---|---|
| TECT06139 | T.I.MS00563 | Périodique | Salle des Thèses | Informatique | Exclu du prêt |
Documents numériques (1)
 VERS LA VERIFICATION DES SERVICES WEB URL |
