Toward a
Formalization of BPEL 2.0 : An Algebra Approach
L. Boumlik1 , M.
Mejri1 , and H. Boucheneb2
1 Laval University,
QC, Canada 2 Polytechnique Montreal University, QC, Canada
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.
Keywords:
Web Services orchestration,
WS-BPEL 2.0, Formal methods, Process Algebra, Operational Semantics.
Full Text Link: https://aircconline.com/ijwsc/V11N1/11120ijwsc01.pdf
Volume Link: https://airccse.org/journal/jwsc/current2020.html