Validation de la composition des services web à l'aide du langage Maude
No Thumbnail Available
Date
2011
Journal Title
Journal ISSN
Volume Title
Publisher
Université d' Oum El Bouaghi
Abstract
Ces 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émarche
Description
Keywords
Logique de réécriture : service web, Informatique : langage Maude, Langage BPEL