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 Journal Article
%1 noauthororeditor
%A Boumlik, L.
%A Mejri, M.
%A Boucheneb, H.
%D 2020
%J International Journal on Web Service Computing (IJWSC)
%K 2.0 Algebra Formal Operational Process Semantics Services WS-BPEL Web methods orchestration
%N 1
%P 01-20
%R 10.5121/ijwsc.2020.11101
%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.
@article{noauthororeditor,
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 = {2020-06-17T08:28:19.000+0200},
author = {Boumlik, L. and Mejri, M. and Boucheneb, H.},
biburl = {https://www.bibsonomy.org/bibtex/2556313d26722ec5d0cc286909936aa74/ijwsc},
doi = {10.5121/ijwsc.2020.11101},
interhash = {91d99ebaa73da5da3a2e4ec5aa087ae2},
intrahash = {556313d26722ec5d0cc286909936aa74},
issn = {0976 - 9811 (Online); 2230 - 7702 (print)},
journal = {International Journal on Web Service Computing (IJWSC)},
keywords = {2.0 Algebra Formal Operational Process Semantics Services WS-BPEL Web methods orchestration},
language = {English},
month = {March},
number = 1,
pages = {01-20},
timestamp = {2020-06-17T08:28:19.000+0200},
title = {Toward a Formalization of BPEL 2.0 : An Algebra Approach},
url = {https://aircconline.com/ijwsc/V11N1/11120ijwsc01.pdf},
volume = 11,
year = 2020
}