<> "The repository administrator has not yet configured an RDF license."^^ . <> . . . "A Formal Account of WS-BPEL"^^ . "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.\r\n"^^ . "2008" . . "5052" . . "Springer"^^ . . "Springer"^^ . . . . . . . . . . . . . . . . . . . . "Gianluigi"^^ . "Zavattaro"^^ . "Gianluigi Zavattaro"^^ . . "Francesco"^^ . "Tiezzi"^^ . "Francesco Tiezzi"^^ . . "Rosario"^^ . "Pugliese"^^ . "Rosario Pugliese"^^ . . "Alessandro"^^ . "Lapadula"^^ . "Alessandro Lapadula"^^ . . "Doug"^^ . "Lea"^^ . "Doug Lea"^^ . . . . . . "A Formal Account of WS-BPEL (PDF)"^^ . . . . . . . . . . . "blite_2008e.pdf"^^ . . . "A Formal Account of WS-BPEL (Image (JPEG))"^^ . . . . . . "preview.jpg"^^ . . . "A Formal Account of WS-BPEL (Indexer Terms)"^^ . . . . . . "indexcodes.txt"^^ . . "HTML Summary of #410 \n\nA Formal Account of WS-BPEL\n\n" . "text/html" . . . "QA75 Electronic computers. Computer science"@en . .