Validation de la composition des services web à l'aide du langage Maude

Simple item page
dc.contributor.authorMérouani, Hamza
dc.contributor.authorSeridi Bouchelaghem, Hassina
dc.date.accessioned2018-01-16T09:04:39Z
dc.date.available2018-01-16T09:04:39Z
dc.date.issued2011
dc.description.abstractCes dernières années ont vu les services Web se proliférer sur le Web et sont déjà présents dans plusieurs secteurs d'activités. Un des concepts intéressants qu'offre cette technologie, et qui suscite un intérêt considérable dans la communauté des chercheurs, est la possibilité de créer un nouveau service à valeur ajoutée par composition de services Web existants. WS-BPEL (Web Services Business Process Execution Language) ou simplement BPEL, s’est imposé comme le langage standard pour la composition des services Web dans un processus métier. Néanmoins, la sémantique de chacune de ses structures n'étant pas formellement décrite. Cela peut entraîner des inconsistances, des ambigüités et des incomplétudes dans le processus métier développé. Dans ce mémoire, nous proposons une nouvelle approche pour accorder une sémantique formelle à BPEL, en utilisant le langage Maude, qui est basé sur une logique saine dite la logique de réécriture. L'approche est organisée en deux étapes : (1) la translation de code BPEL en une description graphique intermédiaire baptisée UML-S «UML for Service», et (2) la génération d'une spécification Maude à partir de la description semi-formelle UML-S. La spécification formelle obtenue peut aider les concepteurs et les développeurs dans les phases restantes de développement, en particulier, pour valider les modèles de composition des services web décrites en BPEL. Nous avons appliqué notre approche à une étude de cas réelle pour valider notre démarchear
dc.identifier.urihttp://hdl.handle.net/123456789/575
dc.language.isofrar
dc.publisherUniversité d' Oum El Bouaghiar
dc.subjectLogique de réécriture : service webar
dc.subjectInformatique : langage Maudear
dc.subjectLangage BPELar
dc.titleValidation de la composition des services web à l'aide du langage Maudear
dc.typeOtherar
Files
Original bundle
Now showing 1 - 1 of 1
No Thumbnail Available
Name:
Validation de la composition des Services Web.pdf
Size:
1.91 MB
Format:
Adobe Portable Document Format
Description:
Download
License bundle
Now showing 1 - 1 of 1
No Thumbnail Available
Name:
license.txt
Size:
1.71 KB
Format:
Item-specific license agreed upon to submission
Description:
Download
Collections
قسم الإعلام الالي