The Business Process Execution Language for Web Services (BPEL) is frequently used to implement business processes on a technical level. Yet, business process modelling most often starts with the modelling of the business logic of the processes. In this early phase technical details of processes and interfaces are not considered. Consequently, business analysts frequently use graphical modelling languages like Event-Driven Process Chains (EPCs) for this purpose. As these models already include...