Logo eprints

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)

PDF - Accepted Version
Download (231kB) | Preview


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 Edit Item