一种基于认知模型检测的Web服务组合验证方法_骆翔宇.pdfVIP

34 　6 　　　　　　　　 Vol.34 No.6 2011 6 CHIN ESE JOU RNA L OF COMPUTERS June 2011 　 Web 1), 2) 3) 4), 5) 6) 骆翔宇 　谭　征 　苏开乐 　吴立军 1)(　 　361021) 2)(　　100084) 3)(　　 30065) 4)(　　1008 1) 5)(　 　321004 ) 6)(　　4100 3) 　　Web ., , .Web , Web , BPEL , BPEL , ., BPEL MCTK (), MCTK . Web , . 　;Web ;BPEL;; TP301　　　DOI :10.3 24/SP.J.1016.2011.01041 A Verification Approach for Web Service Compositions Based on Epistemic Model Checking 1), 2) 3) 4), 5) 6) LUO Xiang-Yu 　TAN Zheng 　S U Kai-Le 　W U Li-Jun 1)(College of Comp uter Science Technology, Huaqiao University, X iamen, F uj ian　361021) 2)(School of Sof tware, Tsinghua University , B eij ing　100084) 3 )(China National Nuclear Corp oration, No 504 Plant, anzhou　 30065) 4)(Key laboratory of H ig h Conf idence Sof tware Technologies of Ministry of Education (Peking University ), Beij ing　1008 1) 5 )(College of Mathematics Physics and Inf ormation Engineering, Zhej iang Normal University , Jinhua, Zhej iang 　321004) 6 )(School of Comp uter Science and Eng ineering, University of E lectronicScience and Technology, Chengdu　4100 3) Abstract　In recent years, the formal verification of Web service compositions is gradually be- coming a hot research area.As a mainstream technique for formal verification, model checking is able to not only overcome the shortcoming of traditional softw are test techniques that they cannot generate the complete s