eprintid: 410
rev_number: 8
eprint_status: archive
userid: 31
dir: disk0/00/00/04/10
datestamp: 2011-06-15 13:46:06
lastmod: 2011-07-11 14:35:30
status_changed: 2011-06-15 13:46:06
type: book_section
metadata_visibility: show
item_issues_count: 0
creators_name: Lapadula, Alessandro
creators_name: Pugliese, Rosario
creators_name: Tiezzi, Francesco
creators_id: 
creators_id: 
creators_id: francesco.tiezzi@imtlucca.it
title: A Formal Account of WS-BPEL
ispublished: pub
subjects: QA75
divisions: CSA
full_text_status: public
note: ©Springer-Verlag Berlin Heidelberg 2008. The original publication is available at www.springerlink.com
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.

date: 2008
date_type: published
series: Lecture Notes in Computer Science
volume: 5052
publisher: Springer
pagerange: 199-215
id_number: 10.1007/978-3-540-68265-3_13
refereed: TRUE
isbn: 978-3-540-68264-6
book_title: Coordination Models and Languages (COORDINATION 2008)
editors_name: Lea, Doug
editors_name: Zavattaro, Gianluigi
official_url: http://dx.doi.org/10.1007/978-3-540-68265-3_13
citation:   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)  
document_url: http://eprints.imtlucca.it/410/1/blite_2008e.pdf