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.
During the recent years, the composition, the orchestration and the interaction of web services have generated a great deal of interest for the Internet community. BPEL is the most important standard language for web services orchestration. It provides a variety of constructors allowing to build complex services from simple ones. However, many of its features are complex and source of a large misunderstanding due to the absence of formalization. For instance, understanding the Event Handler, the Fault Handler, the Compensation Handler and the Termination Handler (EFCT) of BPEL is a big challenge even for an experienced programmer.This paper aims to formalize the EFCT fragment of BPEL using a process algebra called AV-BPEL specially defined to fit with the BPEL language and endowed with a small steps operational semantics.
scite is a Brooklyn-based organization that helps researchers better discover and understand research articles through Smart Citations–citations that display the context of the citation and describe whether the article provides supporting or contrasting evidence. scite is used by students and researchers from around the world and is funded in part by the National Science Foundation and the National Institute on Drug Abuse of the National Institutes of Health.