TY  - CHAP
ED  - Lea, Doug
ED  - Zavattaro, Gianluigi
PB  - Springer
A1  - Lapadula, Alessandro
A1  - Pugliese, Rosario
A1  - Tiezzi, Francesco
T3  - Lecture Notes in Computer Science
SP  - 199
Y1  - 2008///
ID  - eprints410
N1  - ©Springer-Verlag Berlin Heidelberg 2008. The original publication is available at www.springerlink.com
EP  - 215
T2  - Coordination Models and Languages (COORDINATION 2008)
SN  - 978-3-540-68264-6
M1  - 5052
N2  - 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.

TI  - A Formal Account of WS-BPEL
AV  - public
UR  - http://dx.doi.org/10.1007/978-3-540-68265-3_13
ER  -