Lapadula, Alessandro and Pugliese, Rosario and Tiezzi, Francesco
A Formal Account of WS-BPEL.
Coordination Models and Languages (COORDINATION 2008).
Lecture Notes in Computer Science, 5052
Springer, pp. 199-215.
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.
Actions (login required)