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

11/08/2018

∙

by   Yong Wang, et al.

∙

0

∙

share

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.