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

Top