In a Service Oriented Architecture business functionality is exposed as (web) services. These services can be orchestrated into a single business process. Processes usually exchange information with other processes at business partners to achieve their goal. Choreographies describe the interactions among them from a global perspective. Today, choreographies are mainly used during design-time or to check conformance afterwards using audit logs.

In this work, we present an infrastructure for conformance checking of choreographies during run-time: the "Choreography-aware Service Bus". Furthermore, we introduce BPELgold as an extension to BPEL that allows modeling choreographies.