Conformance Test of Federated Choreographies

Abstract

Web Services technology is constantly gaining importance for automationof business processes. A major contribution of this technology isits integration capability, i.e. compositions allowing several autonomousbut cooperating web services to implement a business process goingbeyond the boundaries of a single organization.Federated choreographiesprovidea framework for modular modeling complex collections of choreographiesand orchestrations. In this paper we present a conformance test tocheck the structural conformance of the choreographies and orchestrationof the proposed model in order to hold the model structurally consistent.We can formally check whether an orchestration realizing (one partof) a choreography, resp. two related choreographies fit together.