%0 Book %1 Balzert04 %A Boumlik, L. %A Mejri, M. %A Boucheneb, H. %C Heidelberg %D 2020 %I https://aircconline.com/ijwsc/V11N1/11120ijwsc01.pdf %K 2.0 Algebra Formal Operational Process Semantics Services WS-BPEL Web methods orchestration %N 1 %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. %7 2 %@ 978-3-8274-1410-6

@book{Balzert04, 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 = {2024-01-31T06:29:05.000+0100}, address = {Heidelberg}, author = {Boumlik, L. and Mejri, M. and Boucheneb, H.}, biburl = {https://www.bibsonomy.org/bibtex/28dbc8a51f7b8aed33952dd70cac7c6a9/ijwsc}, edition = 2, file = {Springer Product page:http\://www.springer.com/978-3-8274-1410-6:URL;Amazon Search inside:http\://www.amazon.de/gp/reader/3827414105/:URL}, groups = {public}, interhash = {91d99ebaa73da5da3a2e4ec5aa087ae2}, intrahash = {8dbc8a51f7b8aed33952dd70cac7c6a9}, isbn = {978-3-8274-1410-6}, keywords = {2.0 Algebra Formal Operational Process Semantics Services WS-BPEL Web methods orchestration}, language = {English}, month = {March}, number = 1, publisher = {https://aircconline.com/ijwsc/V11N1/11120ijwsc01.pdf}, timestamp = {2024-01-31T06:29:05.000+0100}, title = {Toward a Formalization of BPEL 2.0 : An Algebra Approach}, url = {https://aircconline.com/ijwsc/V11N1/11120ijwsc01.pdf}, username = {flint63}, volume = 11, year = 2020 }