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

Autor:	Guiping Dai, Yong Wang
Rok vydání:	2020
Předmět:	Choreography World Wide Web Relation (database) Web service orchestration Computer science Process (engineering) Abstract process Web service computer.software_genre computer Formal verification Information science
Zdroj:	2020 7th International Conference on Information Science and Control Engineering (ICISCE).
DOI:	10.1109/icisce50968.2020.00220
Popis:	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.
Databáze:	OpenAIRE
Externí odkaz:	https://explore.openaire.eu/search/publication?articleId=doi_________::5a5d0ef2fcfeec74f5c9834d472561a3 https://doi.org/10.1109/icisce50968.2020.00220 Zobrazit plný text záznamu