Using BPEL processes defined by Event-driven Process Chains

The paper discusses the usability concept of workflow services for eventdriven process chains. Usability is similar to controllability, known from Workflow net based BPEL semantics theory. Based on the observation, that if business processes interact (for instance because one of them is a service), it must be possible to check whether this is structurally possible or not. In opposite to prior work, the focus is laid on the exchange of information rather than on the integration of shared events and functions. The theoretical outcome of the paper is applied to a German E-Government (web) service.