Formal Verification of Cloud Manufacturing Service Composition and BPEL Codes Generation Based on Extended Process Calculus

Li Yongxiang, Yao Xifan, Xu Xiangmin and Jin Hong

Information Technology Journal 13 ( 11 ): 1779 - 1785 , 2014