Toward a Formalization of BPEL 2.0 : An Algebra Approach
Laila Boumlik, Mohamed Mejri, Hanifa Boucheneb · International journal of web service computing · 2020
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.