Title :
Cloud manufacturing service composition modeling and formal verification based on Calculus for Orchestration of Web Service
Author :
Li Yongxiang ; Yao Xifan ; Zhang Jie ; Li Bin
Author_Institution :
Sch. of Mech. & Automotive Eng., South China Univ. of Technol., Guangzhou, China
Abstract :
To solve the problem of modeling and formally verifying the composition of cloud manufacturing services, a new modeling and formal verification approach based on Calculus for Orchestration of Web Service (COWS) combined with Unified Modeling Language (UML) was proposed. First UML activity diagram for Cloud Manufacturing service composition was built with MagicDraw software, and saved as an XML file. The XML file was translated into a COWS file via UML4SOA, and formally verified with COWS Model Checking program (CMC). Furthermore, a composite service about part processing was given. Activity diagram of the service composition was built, including milling service, drilling service, exception handling, event handling and compensation mechanism. Finally, the composition verification result showed that the proposed approach was feasible.
Keywords :
Unified Modeling Language; Web services; XML; cloud computing; COWS; MagicDraw software; UML activity diagram; XML file; calculus for orchestration of Web Service; cloud manufacturing service composition modeling; compensation mechanism; composite service; composition verification; drilling service; event handling; exception handling; formal verification; milling service; unified modeling language; Calculus; Cows; Formal verification; Manufacturing; Object oriented modeling; Unified modeling language; Web services; Calculus for Orchestration of Web service; Cloud manufacturing; Formal verification; Modeling; Service composition;
Conference_Titel :
Control and Decision Conference (CCDC), 2013 25th Chinese
Conference_Location :
Guiyang
Print_ISBN :
978-1-4673-5533-9
DOI :
10.1109/CCDC.2013.6561422