Toggle Main Menu Toggle Search

Open Access padlockePrints

A Case Study of Web Services Orchestration

Lookup NU author(s): Dr Manuel Mazzara



Recently the term Web Services Orchestration has been introduced to address composition and coordination of Web Services. Several languages to describe orchestration for business processes have been presented and many of them use concepts such as long-running transactions and compensations to cope with error handling. WS-BPEL is currently the best suited in this field. However, its complexity hinders rigorous treatment. In this paper we address the notion of orchestration from a formal point of view, with particular attention to transactions and compensations. In particular, we discuss webπ∞, an untimed subcalculus of webπ which is a simple and conservative extension of the π-calculus. We introduce it as a theoretical and foundational model for Web Services coordination. We simplify some semantical and pragmatical aspects, in particular regarding temporization, gaining a better understanding of the fundamental issues. To discuss the usefulness of the language we consider a case study: we formalize an e-commerce transactional scenario drawing on a case presented in our previous work.

Publication metadata

Author(s): Mazzara M, Govoni S

Editor(s): Jacquet, J.-M., Picco, G.P.

Publication type: Conference Proceedings (inc. Abstract)

Publication status: Published

Conference Name: 7th International Conference on Coordination Models and Languages (COORDINATION)

Year of Conference: 2005

Pages: 1–16

Date deposited: 24/09/2010

ISSN: 0302-9743 (Print) 1611-3349 (Online)

Publisher: Springer-Verlag


DOI: 10.1007/11417019_1

Library holdings: Search Newcastle University Library for this item

Series Title: Lecture Notes in Computer Science

ISBN: 9783540256304