Splitting BPEL processes

Abstract

Khalaf presents a concept to split BPEL processes. This thesis illustrates how to extend the work of Khalaf to go from a BPEL process to a BPEL4Chor choreography. First, the main BPEL process given is split into fragment BPEL processes, in a way that the operational semantic of the main BPEL process is preserved in the collective behavior of the fragmented BPEL processes. The dataflow depependencies of the given BPEL process are analyzed and reflected in the fragmented BPEL processes. Based on the results of the splitting algorithm, a BPEL4Chor choreography is generated: The fragmented BPEL processes are converted into participants in the generated BPEL4Chor choreography.