2000 character limit reached
Relation of Web Service Orchestration, Abstract Process, Web Service and Choreography
Published 8 Nov 2018 in cs.LO and cs.SE | (1811.05305v1)
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.
Paper Prompts
Sign up for free to create and run prompts on this paper using GPT-5.
Top Community Prompts
Collections
Sign up for free to add this paper to one or more collections.