2000 character limit reached
Relation of Web Service Orchestration, Abstract Process, Web Service and Choreography (1811.05305v1)
Published 8 Nov 2018 in cs.LO and cs.SE
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.