Relation of Web Service Orchestration, Abstract Process, Web Service and Choreography
This work addresses the problem of clarifying and verifying relationships in web service composition for cross-organizational collaboration, but it appears incremental as it refines existing concepts without introducing a new paradigm.
The paper refines the relationships between web service orchestration, abstract processes, web services, and choreography in cross-organizational web service composition, and introduces a formal verification process for these relationships with an example.
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.