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

fYear

2013

fDate

25-27 May 2013

Firstpage

2806

Lastpage

2810

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;

fLanguage

English

Publisher

ieee

Conference_Titel

Control and Decision Conference (CCDC), 2013 25th Chinese

Conference_Location

Guiyang

Print_ISBN

978-1-4673-5533-9

Type

conf

DOI

10.1109/CCDC.2013.6561422

Filename

6561422