| Skip to main content | Skip to navigation |

Register Now!

Analysis of Communication Models in Web Service Compositions

  • Raman Kazhamiakin, DIT, University of Trento, Italy
  • Marco Pistore, DIT, University of Trento, Italy
  • Luca Santuari, DIT, University of Trento, Italy

Full text:

Presentation Slides:

Track: XML and Web Services

In this paper we describe an approach for the verification of Web service compositions defined by sets of BPEL processes. The key aspect of such a verification is the model adopted for representing the communications among the services participating in the composition. Indeed, these communications are asynchronous and buffered in the existing execution frameworks, while most verification approaches assume a synchronous communication model for efficiency reasons. In our approach, we develop a parametric model for describing Web service compositions, which allows us to capture a hierarchy of communication models, ranging from synchronous communications to asynchronous communications with complex buffer structures. Moreover, we develop a technique to associate with a Web service composition the most adequate communication model, i.e., the simplest model that is sufficient to capture all the behaviors of the composition. This way, we can provide an accurate model of a wider class of service composition scenarios, while preserving as much as possible an efficient performance in verification.


Kazhamiakin, R., Pistore, M., and Santuari, L. 2006. Analysis of communication models in web service compositions. In Proceedings of the 15th International Conference on World Wide Web (Edinburgh, Scotland, May 23 - 26, 2006). WWW '06. ACM Press, New York, NY, 267-276.
DOI= http://doi.acm.org/10.1145/1135777.1135819

Organised by

ECS Logo

in association with

BCS Logo ACM Logo

Platinum Sponsors

Sponsor of The CIO Dinner

Become a sponsor or exhibitor
Valid XHTML 1.0! IFIP logo WWW Conference Committee logo Web Consortium logo Valid CSS!