L. Boumlik1, M. Mejri1 and H. Boucheneb2, 1Laval University, Canada and 2Polytechnique Montreal University, 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.
Original Source URL: https://aircconline.com/ijwsc/V11N1/11120ijwsc01.pdf
https://airccse.org/journal/jwsc/current2020.html
Contact Us
ijwscjournal@airccse.org or ijwsc@aircconline.com
No comments:
Post a Comment