%0 Book Section
%A Lapadula, Alessandro
%A Pugliese, Rosario
%A Tiezzi, Francesco
%B Coordination Models and Languages (COORDINATION 2008)
%D 2008
%E Lea, Doug
%E Zavattaro, Gianluigi
%F eprints:410
%I Springer
%P 199-215
%S Lecture Notes in Computer Science
%T A Formal Account of WS-BPEL
%U http://eprints.imtlucca.it/410/
%V 5052
%X 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.  
%Z ©Springer-Verlag Berlin Heidelberg 2008. The original publication is available at www.springerlink.com