石静，丁长明，赵泽宇，等．Web服务合成研究综述[J]．计算机科学，2004，31(6)：54-58．SHI Jing,DING Chang-ming,ZHAO Ze-yu,et al.Ovecview of web services composition research[J].Computer Science, 2004,31(6):54-58.(in Chinese)
[3]
JIAO Wen-pin,ZHOU Ming-hui,WANG Qian-xiang.Formal framework for adaptive multi-agent Systems [C]// Proceedings of IEEE/WIC International Conference on Intelligent Agent Technology.Halifax:[s.n.],2003:442-445.
[4]
廖军，谭浩，刘锦德．基于PI-演算的Web服务可替换性验证[J]．华中科技大学学报(自然科学版)，2005，33：168—171．LIAO Jun,TAN Hao,LIU Jin-de.Verifying Web services substitution using Pi2calculus[J].J.Huazhong Univ.of Sci. & Tech.(Nature Science Edition).2005.33:168-171.(in Chinese)
[5]
郭小群，郝克刚．Web服务的Pi-演算描述[J]．计算机科学，2006，33(3)：261—262．GUO Xiao-qun,HAO Ke-gang.Pi calcula-based model for Web services[J].Computer Science,2006,33(3):261-262.(in Chinese)
[6]
付燕宁，刘磊，张家晨．构造语义Web服务工作流的模型[J]．吉林大学学报(工学版)，2007，37(3)：600-605．FU Yan-ning,LIU Lei,ZHANG Jia-chen.Model for composing semantic Web service workflows [J].Journal of Jilin University(Engineering and Technology Edition),2007,37(3):600-605.(in Chinese)
[7]
SALAüN G,BORDEAUX L,SCHAERF M.Describing and reasoning on Web services using process algebr [C]// Proceedings of the 2nd IEEE International Conference on Web Services.SanDiego:[s.n.],2004:43-50.
[8]
FOSTER H,UCHITEL S,MAGEE J,et al.Modal based verification of web service compositions[C]//Proceedings of the 18th IEEE International Conference on Automated Software Engineering.Mont real:[s.n.],2003:152-161.
[9]
侯丽珊．金枝，吴步丹．需求驱动的Web服务建模及其验证：一个基于本体的方法[J]．中国科学E辑信息科学，2006，36(10)：1189-1219．HOU Li-shan,JIN Zhi,WU Bu-dan.Web service modeling and verified driven by demand:a method of based on ontology [J].China Ser.E Information Sciences,2006,36(10):1189-1219.(in Chinese)
[10]
廖军．谭浩，刘锦德．基于Pi-演算的Web服务组合的描述和验证[J]．计算机学报，2005，28(4)：635-643．LIAO Jun,TAN Hao,LIU Jin-de.Describing and verifying web service using Pi-calculus[J].Chinese Journal of Computers, 2005,28(4):635-643.(in Chinese)
