TY  - CHAP
T2  - Coordination Models and Languages (COORDINATION 2008)
PB  - Springer
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.

EP  - 215
ID  - eprints410
SN  - 978-3-540-68264-6
ED  - Lea, Doug
ED  - Zavattaro, Gianluigi
Y1  - 2008///
UR  - http://dx.doi.org/10.1007/978-3-540-68265-3_13
A1  - Lapadula, Alessandro
A1  - Pugliese, Rosario
A1  - Tiezzi, Francesco
M1  - 5052
T3  - Lecture Notes in Computer Science
SP  - 199
TI  - A Formal Account of WS-BPEL
N1  - ©Springer-Verlag Berlin Heidelberg 2008. The original publication is available at www.springerlink.com
AV  - public
ER  -