This paper focuses on middleware concerns in BPEL workflows. When looking at those workflows from the implementation perspective, we observe that they have several BPEL-specific middleware requirements, which are not supported by current WS-* specifications and by most BPEL engines available to date. This demo paper will show the AO4BPEL Engine, which implements a container framework that allow...

BPEL is gaining increasing attention as a potential standard for the definition of executable business processes based on web services. This paper gives an overview of standardization efforts in the area of business process execution, of the main concepts of BPEL, and of its support in practice. 1 Business Process Execution and Standardization The standardization of business process management ...

In this paper we propose an approach to derive the formal semantics of WS-BPEL processes compositionally using Reo and constraint automata. We map each WS-BPEL process into a Reo circuit and then construct the corresponding constraint automaton which shows the behavior of the process. The constraint automaton can be used for analyzing the process behavior. Our work covers the core part of the W...

We present a Petri net semantics for the Business Process Execution Language for Web Services (BPEL). Our semantics covers the standard behaviour of BPEL as well as the exceptional behaviour (e.g. faults, events, compensation). The semantics is implemented as a parser that translates BPEL specifications into the input language of the Petri net model checking tool LoLA. We demonstrate that the s...

BPEL is gaining increasing attention as a potential standard for the definition of executable business processes based on web services. This paper gives an overview of standardization efforts in the area of business process execution, of the main concepts of BPEL, and of its support in practice. 1 Business Process Execution and Standardization The standardization of business process management ...

We present the design of a BPEL orchestration engine based on ReSpecT tuple centres, a coordination model extending Linda with the ability of declaratively programming the reactive behaviour of tuple spaces. Architectural and linguistic aspects of our solution are discussed, focussing on how the syntax and semantics of BPEL have been mapped to tuple centres. This is achieved by a translation of...

In Service Oriented systems organisational processes are represented as WS-BPEL workflows, WS-BPEL is different from traditional workflow languages as a hybrid of block-based and graph-based language; it also has limited support for separation of concerns. Changes to such processes usually impact many places in the underlying system, without separating such cross-cutting concerns system mainten...

E very organization faces the challenge of integrating diverse IT systems. Developers must first solve communication-level integration issues, ensuring that systems using different transport protocols and data formats can exchange information. Once these issues are resolved, organizations must decide how their various IT systems can interact to support business processes. Business process model...

The Business Process Execution Language (BPEL) has become the dominant means for expressing traditional business processes as workflows. The widespread deployment of mobile devices like PDAs and mobile phones has created a vast computational and communication resource for these workflows to exploit. However, BPEL so far has been deployed only on relatively heavyweight server platfor...

This paper presents a solution to the Case Study: BPMN to BPEL Model Transformation. This solution implements a bridge between two business process modeling languages, BPMN and BPEL. The proposed solution has been implemented using ATL.