A Formal Account of WS-BPEL

Lapadula, Alessandro and Pugliese, Rosario and Tiezzi, Francesco A Formal Account of WS-BPEL. In: Coordination Models and Languages (COORDINATION 2008). Lecture Notes in Computer Science, 5052 . Springer, pp. 199-215. ISBN 978-3-540-68264-6 (2008)

Preview

PDF - Accepted Version Download (231kB) | Preview

Abstract

We introduce B lite, a lightweight language for web services orchestration designed around some of WS-BPEL peculiar features like partner links, process termination, message correlation, long-running business transactions and compensation handlers. B lite formal presentation helps clarifying some ambiguous aspects of the WS-BPEL specification, which have led to engines implementing different semantics and, thus, have undermined portability of WS-BPEL programs over different platforms. We illustrate the main features of B lite by means of many examples, some of which are also exploited to test and compare the behaviour of three of the most known free WS-BPEL engines.

Item Type:	Book Section
Identification Number:	10.1007/978-3-540-68265-3_13
Additional Information:	©Springer-Verlag Berlin Heidelberg 2008. The original publication is available at www.springerlink.com
Subjects:	Q Science > QA Mathematics > QA75 Electronic computers. Computer science
Research Area:	Computer Science and Applications
Depositing User:	Users 31 not found.
Date Deposited:	15 Jun 2011 13:46
Last Modified:	11 Jul 2011 14:35
URI:	http://eprints.imtlucca.it/id/eprint/410

Actions (login required)

Edit Item