We introduce Blite, 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. Blite 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 Blite 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. Coordination Models and Languages, 10th International Conference, COORDINATION 2008.
A formal account of WS-BPEL / A. Lapadula; R. Pugliese; F. Tiezzi. - STAMPA. - (2008), pp. 199-215. [10.1007/978-3-540-68265-3_13]
A formal account of WS-BPEL
PUGLIESE, ROSARIO;F. Tiezzi
2008
Abstract
We introduce Blite, 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. Blite 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 Blite 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. Coordination Models and Languages, 10th International Conference, COORDINATION 2008.
I documenti in FLORE sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
