Research Article
Formal Verification of Cloud Manufacturing Service Composition and BPEL Codes Generation Based on Extended Process Calculus
School of Mechanical and Automotive Engineering, South China University of Technology, Guangzhou, 510640, China
Yao Xifan
School of Mechanical and Automotive Engineering, South China University of Technology, Guangzhou, 510640, China
Xu Xiangmin
School of Mechanical and Automotive Engineering, South China University of Technology, Guangzhou, 510640, China
Jin Hong
School of Mechanical and Automotive Engineering, South China University of Technology, Guangzhou, 510640, China