Toward a Formalization of BPEL 2.0 : An Algebra Approach
International Journal on Web Service Computing (IJWSC), 11 (1):
01-20 (March 2020)DOI: 10.5121/ijwsc.2020.11101
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.