Business-To-Business Integration (B2Bi) is a key mechanism for enterprises to gain competitive advantage. However, developing B2Bi applications is far from trivial. Inter alia, agreement among integration partners about the business documents and the control flow of business document exchanges, applying suitable communication technologies for overcoming heterogeneous IT landscapes as well as ensuring a Quality of Service (QoS) level that is sufficient for B2Bi are major challenges. In this context, applying choreography languages like ebXML BPSS (ebBP) for agreement among integration partners, orchestration languages like WS-BPEL for specifying partner-specific behavior, and Web Services for communication promises seamless interactions among business partners. In this scenario, the conformance of orchestration models to choreography models and cost-effective development are of paramount importance. Consequently, top-down approaches that automatically translate choreography models into...