@incollection{eprints410,
          series = {Lecture Notes in Computer Science},
           title = {A Formal Account of WS-BPEL},
            year = {2008},
          volume = {5052},
           pages = {199--215},
       booktitle = {Coordination Models and Languages (COORDINATION 2008)},
          editor = {Doug Lea and Gianluigi Zavattaro},
       publisher = {Springer},
            note = {{\copyright}Springer-Verlag Berlin Heidelberg 2008. The original publication is available at www.springerlink.com},
          author = {Alessandro Lapadula and Rosario Pugliese and Francesco Tiezzi},
        abstract = {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.
},
             url = {http://eprints.imtlucca.it/410/}
}