Toward a Formalization of BPEL 2.0 : An Algebra Approach
L. Boumlik, M. Mejri, and H. Boucheneb. https://aircconline.com/ijwsc/V11N1/11120ijwsc01.pdf, Heidelberg, 2 edition, (March 2020)
Abstract
The WS-BPEL 2.0 (Web Service Business Process Execution Language) has been the dominant standard to describe Web Services (WS) orchestration approach. It is a rich and expressive language that provides interesting features, among them we find four mechanisms to deal with abnormal situations (Event, Fault, Compensation and Termination) handlers, EFCT- handlers. However, WS-BPEL is not rigorously defined as a formal language making EFCT- handlers complicated and ambiguous. This paper aims to remove ambiguities from EFCT-handlers by formalizing their semantics.
%0 Book
%1 Balzert04
%A Boumlik, L.
%A Mejri, M.
%A Boucheneb, H.
%C Heidelberg
%D 2020
%I https://aircconline.com/ijwsc/V11N1/11120ijwsc01.pdf
%K 2.0 Algebra Formal Operational Process Semantics Services WS-BPEL Web methods orchestration
%N 1
%T Toward a Formalization of BPEL 2.0 : An Algebra Approach
%U https://aircconline.com/ijwsc/V11N1/11120ijwsc01.pdf
%V 11
%X The WS-BPEL 2.0 (Web Service Business Process Execution Language) has been the dominant standard to describe Web Services (WS) orchestration approach. It is a rich and expressive language that provides interesting features, among them we find four mechanisms to deal with abnormal situations (Event, Fault, Compensation and Termination) handlers, EFCT- handlers. However, WS-BPEL is not rigorously defined as a formal language making EFCT- handlers complicated and ambiguous. This paper aims to remove ambiguities from EFCT-handlers by formalizing their semantics.
%7 2
%@ 978-3-8274-1410-6
@book{Balzert04,
abstract = {The WS-BPEL 2.0 (Web Service Business Process Execution Language) has been the dominant standard to describe Web Services (WS) orchestration approach. It is a rich and expressive language that provides interesting features, among them we find four mechanisms to deal with abnormal situations (Event, Fault, Compensation and Termination) handlers, EFCT- handlers. However, WS-BPEL is not rigorously defined as a formal language making EFCT- handlers complicated and ambiguous. This paper aims to remove ambiguities from EFCT-handlers by formalizing their semantics.
},
added-at = {2024-01-31T06:29:05.000+0100},
address = {Heidelberg},
author = {Boumlik, L. and Mejri, M. and Boucheneb, H.},
biburl = {https://www.bibsonomy.org/bibtex/28dbc8a51f7b8aed33952dd70cac7c6a9/ijwsc},
edition = 2,
file = {Springer Product page:http\://www.springer.com/978-3-8274-1410-6:URL;Amazon Search inside:http\://www.amazon.de/gp/reader/3827414105/:URL},
groups = {public},
interhash = {91d99ebaa73da5da3a2e4ec5aa087ae2},
intrahash = {8dbc8a51f7b8aed33952dd70cac7c6a9},
isbn = {978-3-8274-1410-6},
keywords = {2.0 Algebra Formal Operational Process Semantics Services WS-BPEL Web methods orchestration},
language = {English},
month = {March},
number = 1,
publisher = {https://aircconline.com/ijwsc/V11N1/11120ijwsc01.pdf},
timestamp = {2024-01-31T06:29:05.000+0100},
title = {Toward a Formalization of BPEL 2.0 : An Algebra Approach},
url = {https://aircconline.com/ijwsc/V11N1/11120ijwsc01.pdf},
username = {flint63},
volume = 11,
year = 2020
}