Relation of Web Service Orchestration, Abstract Process, Web Service and Choreography

Abstract

We refine the relation of Web service orchestration, abstract process, Web service, and Web service choreography in Web service composition, under the situation of cross-organizational corporation. We also introduce the formal verification process of this relation through an example.

References in corpus (2)

• Algebraic Laws for True Concurrency
• Formal Model of Web Service Composition: An Actor-Based Approach to Unifying Orchestration and Choreography