%V 5052
%I Springer
%O ?Springer-Verlag Berlin Heidelberg 2008. The original publication is available at www.springerlink.com
%P 199-215
%T A Formal Account of WS-BPEL
%R 10.1007/978-3-540-68265-3_13
%B Coordination Models and Languages (COORDINATION 2008)
%E Doug Lea
%E Gianluigi Zavattaro
%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.

%D 2008
%L eprints410
%A Alessandro Lapadula
%A Rosario Pugliese
%A Francesco Tiezzi
%S Lecture Notes in Computer Science