relation: http://eprints.imtlucca.it/410/
title: A Formal Account of WS-BPEL
creator: Lapadula, Alessandro
creator: Pugliese, Rosario
creator: Tiezzi, Francesco
subject: QA75 Electronic computers. Computer science
description: 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.  
publisher: Springer
contributor: Lea, Doug
contributor: Zavattaro, Gianluigi
date: 2008
type: Book Section
type: PeerReviewed
format: application/pdf
language: en
identifier: http://eprints.imtlucca.it/410/1/blite_2008e.pdf
identifier:   Lapadula, Alessandro and Pugliese, Rosario and Tiezzi, Francesco  A Formal Account of WS-BPEL.   In:  Coordination Models and Languages (COORDINATION 2008).   Lecture Notes in Computer Science, 5052 .  Springer, pp. 199-215.  ISBN 978-3-540-68264-6      (2008)  
relation: http://dx.doi.org/10.1007/978-3-540-68265-3_13
relation: 10.1007/978-3-540-68265-3_13