第2期 蒋运承，等：基于有限状态自动机的服务组合模型 ·57 到的有限状态自动机来执行新的组合服务 1.0 EB/OL ]http :/www 3.ibm.com/software/solu 基于有限状态自动机的服务组合具有高效性， tions/webservices/pdf/WSFL.pdf,May,2001. 因为算法ServicesTocFSA是多项式时间，也就是 [9]THATTE S.XLANG:Web services for business 说，将几个服务转化为一个基于有限状态自动机的 process design[EB/OL ]http /www.gotdotnet.com/ 组合服务能在多项式时间内完成；而组合服务执行 team/xml wsspecs/xlang c/default.htm,November 12,2005. 的时间依赖于具体的服务】 [10]ANDREWS T,CURBERA F,DHOLAKIA H,et al 4结束语 Business process execution language for Web services Version 1.1 EB/OL ]http://www 106.ibm.com/ 针对目前服务计算的理论基础研究中存在的问 developer -works/webservices/library/ws bpel, 题，在D Berardi和A Wombacher的基础上研究了 November 10,2005. 基于有限状态自动机的服务组合问题.针对服务组 [11]蒋运承，史忠植.Qo$驱动的主体服务匹配[U].小型 合的需求和特点，首先提出了一种带条件的有限状 微型计算机系统，2005,26(4)：687-692. 态自动机模型cFSA,并给出了基于cFSA的服务理 JIANG Yuncheng,SHI Zhongzhi.Quality of service 论模型.在基于cFSA的服务理论模型的基础上提 driven agent service matchmaking[J].Mini-Micro Sys- tems,2005,26(4):687.692 出了一种基于有限状态自动机的服务组合的形式化 (12]BERARDI D,ROSA F D,SANTIS L D,et al.Finite 理论模型，并给出了该模型的代数性质和实现方法， state automata as conceptual model for e-Services [J ] 进一步工作主要有：研究基于有限状态自动机的服 Journal of Design Process Science:Transactions of 务组合的优化问题和验证问题等 the SDPS,Society for Process Design Sciences, 参考文献： 2003,7:21-30. [13]WOMBACHER A,FANKHAUSER P,MAHLEKO [1]PAPAZOGLOU M P,GEORGA KOPOULOS D.Serive B,et al.Matchmaking for business processes based on oriented computing [J ]Communcications of the ACM, choreographies[J].International Journal of Web Serv- 2003,46(10):25.65. ices,2004,1(4):1545-7362 [2]DIETER F,CHRISTOPH B.The Web service model- 作者简介： ing framework WSMF [J].Electronic Commerce Re- 蒋运承，男，1974年生，博士，副教 search and Applications,2002,1(2):113-137. 授，2004年毕业于中国科学院计算技术研 [3]MCLLRAITH S,SON T C,ZENG H.Semantic Web serv- 究所，现为中山大学计算机科学系博士 ices[]IEEE Intelligent Systems,2001,16(2):46-53. 后.主要研究方向为描述逻辑、语义Wb [4]蒋运承，张海俊，董明楷，史忠植.多主体系统中的动 和多Agent系统.主持和参加国家和省市 态服务匹配[J].电子学报，2004,32(3)：457-461 自然科学基金项目、863计划项目7项.在 JIANG Yuncheng,ZHANG Haijun,DONG Mingkai, 中国科学、软件学报、计算机学报等刊物上发表论文20余 SHI Zhongzhi.Dynamic service matchmaking in multi- 篇」 agent system[J ]Acta Electronica Sinica,2004,32(3): 汤席，男，1964年生，博士，教 457.461. 授，博士生导师.主要研究方向为时态数 [5]CHINNICI R,MOREAU J J,RYMAN A,et al.Web 据库、知识工程、软件工程、CSCW.主持 services description language(WSDL)Version 2.0 Part 和参加国家和省市自然科学基金、重点 1:core language EB/OL ]http://www.w3.org/TR/ 攻关、重大科技专项及地方合作项目20 wsd20/,2005-08-21. 余项.出版著作8部，科研成果获全国和 [6]MARTIN D,AN KOL EKAR A,BURSTEIN M,et al. 省厅级科技进步奖、优秀论文奖和优秀CAI软件等奖励12 OWL -S 1.I release EB/OL ]http://www.daml. 项.发表论文50余篇 org/services/owl-s/1.1/,November 26,2004. 邓培民，男，1950年生，教授，硕士 [7]史忠植，蒋运承，张海俊，董明楷.基于描述逻辑的主 生导师，毕业于广西师范大学.主要研 体服务匹配[J].计算机学报，2004,27(5)：625-635. 究方向为自动机理论及应用、计算机代 SHI Zhongzhi,JIANG Yuncheng,ZHANG Haijun, 数.主持和参加国家和省市自然科学基 DONG Mingkai.Agent service matchmaking based on 金项目3项.在计算机学报、数学进展等 description logic [J ]Chinese Journal of Computers, 刊物上发表论文20余篇」 2004,27(5):625.635. [8]LEYMANN F.Web services flow language (WSFL)Version 1994-2008 China Academic Journal Electronic Publishing House.All rights reserved.http://www.cnki.net到的有限状态自动机来执行新的组合服务. 基于有限状态自动机的服务组合具有高效性 , 因为算法 ServicesTocFSA 是多项式时间 ,也就是 说 ,将几个服务转化为一个基于有限状态自动机的 组合服务能在多项式时间内完成 ;而组合服务执行 的时间依赖于具体的服务. 4 结束语 针对目前服务计算的理论基础研究中存在的问 题 ,在 D Berardi 和 A Wombacher 的基础上研究了 基于有限状态自动机的服务组合问题. 针对服务组 合的需求和特点 ,首先提出了一种带条件的有限状 态自动机模型 cFSA ,并给出了基于 cFSA 的服务理 论模型. 在基于 cFSA 的服务理论模型的基础上提 出了一种基于有限状态自动机的服务组合的形式化 理论模型 ,并给出了该模型的代数性质和实现方法. 进一步工作主要有 :研究基于有限状态自动机的服 务组合的优化问题和验证问题等. 参考文献 : [ 1 ]PAPAZO GLOU M P , GEORGA KOPOULOS D. Serive2 oriented computing [J ]. Communcications of the ACM , 2003 , 46 (10) : 25 - 65. [2 ] DIETER F , CHRISTOPH B. The Web service model2 ing framework WSMF [J ]. Electronic Commerce Re2 search and Applications , 2002 , 1 (2) : 113 - 137. [3 ] MCLLRAITH S , SON T C , ZENG H. Semantic Web serv2 ices[J ]. IEEE Intelligent Systems , 2001 , 16(2) : 46 - 53. [4 ] 蒋运承 , 张海俊 , 董明楷 , 史忠植. 多主体系统中的动 态服务匹配[J ]. 电子学报 , 2004 , 32 (3) : 457 - 461. J IAN G Yuncheng , ZHAN G Haijun , DON G Mingkai , SHI Zhongzhi. Dynamic service matchmaking in multi2 agent system[J ]. Acta Electronica Sinica , 2004 , 32 (3) : 457 - 461. [5 ] CHINNICI R , MOREAU J J , R YMAN A , et al . Web services description language (WSDL) Version 2. 0 Part 1 : core language [ EB/ OL ]. http :/ / www. w3. org/ TR/ wsdl20/ , 2005 - 08 - 21. [6 ] MARTIN D , AN KOL EKAR A , BURSTEIN M , et al . OWL - S 1. 1 release [ EB/ OL ]. http :/ / www. daml. org/ services/ owl - s/ 1. 1/ , November 26 , 2004. [7 ] 史忠植 , 蒋运承 , 张海俊 , 董明楷. 基于描述逻辑的主 体服务匹配[J ]. 计算机学报 , 2004 , 27 (5) : 625 - 635. SHI Zhongzhi , J IAN G Yuncheng , ZHAN G Haijun , DON G Mingkai. Agent service matchmaking based on description logic [J ]. Chinese Journal of Computers , 2004 , 27 (5) : 625 - 635. [8 ] LEYMANN F. Web services flow language (WSFL) Version 1. 0 [ EB/ OL ]. http :/ / www - 3. ibm. com/ software/ solu2 tions/ webservices/ pdf/ WSFL. pdf , May , 2001. [ 9 ] THA TTE S. XLAN G: Web services for business process design[ EB/ OL ]. http :/ / www. gotdotnet. com/ team/ xml_ wsspecs/ xlang - c/ default. htm , November 12 , 2005. [10 ] ANDREWS T , CURBERA F , D HOLA KIA H , et al . Business process execution language for Web services Version 1. 1 [ EB/ OL ]. http :/ / www - 106. ibm. com/ developer - works/ webservices/ library/ ws - bpel , November 10 , 2005. [11 ] 蒋运承 , 史忠植. QoS 驱动的主体服务匹配[J ]. 小型 微型计算机系统 , 2005 , 26 (4) : 687 - 692. J IAN G Yuncheng , SHI Zhongzhi. Quality of service driven agent service matchmaking[J ]. Mini2Micro Sys2 tems , 2005 , 26 (4) : 687 - 692. [12 ] BERARDI D , ROSA F D , SAN TIS L D , et al . Finite state automata as conceptual model for e2Services[J ]. Journal of Design & Process Science : Transactions of the SDPS , Society for Process & Design Sciences , 2003 , 7 : 21 - 30. [13 ] WOMBACHER A , FAN KHAUSER P , MA HL EKO B , et al . Matchmaking for business processes based on choreographies[J ]. International Journal of Web Serv2 ices , 2004 , 1 (4) : 1545 - 7362. 作者简介 : 蒋运承 , 男 , 1974 年生 , 博士 , 副教 授 , 2004 年毕业于中国科学院计算技术研 究所 , 现为中山大学计算机科学系博士 后. 主要研究方向为描述逻辑、语义 Web 和多 Agent 系统. 主持和参加国家和省市 自然科学基金项目、863 计划项目 7 项. 在 中国科学、软件学报、计算机学报等刊物上发表论文 20 余 篇. 汤 庸 , 男 , 1964 年生 , 博士 , 教 授 , 博士生导师. 主要研究方向为时态数 据库、知识工程、软件工程、CSCW. 主持 和参加国家和省市自然科学基金、重点 攻关、重大科技专项及地方合作项目 20 余项. 出版著作 8 部 , 科研成果获全国和 省厅级科技进步奖、优秀论文奖和优秀 CAI 软件等奖励 12 项. 发表论文 50 余篇. 邓培民 , 男 , 1950 年生 , 教授 , 硕士 生导师 , 毕业于广西师范大学. 主要研 究方向为自动机理论及应用、计算机代 数. 主持和参加国家和省市自然科学基 金项目 3 项. 在计算机学报、数学进展等 刊物上发表论文 20 余篇. 第 2 期 蒋运承 ,等 :基于有限状态自动机的服务组合模型 · 75 ·