Browse by author
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.
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
Date deposited: 24/09/2010
ISSN: 0302-9743 (Print) 1611-3349 (Online)
Library holdings: Search Newcastle University Library for this item
Series Title: Lecture Notes in Computer Science