We present a systematic study of the OASIS WS-BPEL 2.0 standard (henceforth simply called BPEL) based on two complementary methods: the process of constructing a new high-level BPEL implementation driven by the structure of the standard, and an empirical evaluation of existing interpretations of the standard reflected in five widely available BPEL-implementations, both commercial and open sourc...

TheWeb Services Business Process Execution language (BPEL) is a standard for modeling and executing automated processes and is tailor-made for service orchestration. BPEL specifies a serialization format which every BPEL implementation has to understand, thus allowing for the portability of processes among runtime engines. Although the modeling and execution of BPEL processes is portable betwee...

The Business Process Execution Language for Web Services (BPEL) has emerged as a standard for specifying and executing processes. It is supported by vendors such as IBM and Microsoft and positioned as the “process language of the Internet”. This paper provides a critical analysis of BPEL based on the so-called workflow patterns. It also discusses the need for languages like BPEL. Finally, the p...

SOAP-based Web Services are quickly becoming the standard solution to publish business services, both within corporate firewalls as well as externally to provide integration points with business partners. Two complementary developments in the world of software applications are the Service Oriented Enterprise model and Software-as-a-Service. With the continuing popularity of Web Services and the...

Recent years have seen a rapid growth in the development of web services technology. BPEL (Business Process Execution Language) as a de-facto standard for web service orchestration has drawn particularly attention from researchers and industries. BPEL is a semi-formal flow language with complex features, so it is essential to apply automated validation tools in finding the interaction inconsist...

This paper presents WorkflowNet2BPEL4WS a tool to automatically map a graphical workflow model expressed in terms of Workflow Nets (WF-nets) onto BPEL. The Business Process Execution Language for Web Services (BPEL) has emerged as the de-facto standard for implementing processes and is supported by an increasing number of systems (cf. the IBM WebSphere Choreographer and the Oracle BPEL Process ...

As an important means to compose independent services together to fulfill a function, service composition is widely applied in different applications. However, the process of composition is complex and error-prone, which makes a formal modeling and analysis method highly desirable. A BPEL process based on Petri net (BPEL-Net) model is presented in this paper, which is capable of capturing behav...

Interactions between services may be globally captured by choreographies. We introduce BPEL supporting modeling interaction choreography models using BPEL. We show the usage of BPEL in an enterprise service bus to ensure an executed message exchange complies with a pre-defined choreography.

This article explains briefly the need for an extension to the Web Services Business Process Execution Language (WS-BPEL) that supports modularization and reuse. It discusses the requirements for such extension and possible ways how to resolve them. It should help readers understand why SAP and IBM have worked jointly on a proposal for sub-processes in WS-BPEL. Introduction The Web Services Bus...