[1]蒋运承,汤 庸,邓培民.基于有限状态自动机的服务组合模型[J].智能系统学报,2006,1(02):48-57.
 JIANG Yun-cheng,TANG Yong,DENG Pei-min.A service composition model based on finite state automat a[J].CAAI Transactions on Intelligent Systems,2006,1(02):48-57.
点击复制

基于有限状态自动机的服务组合模型(/HTML)
分享到:

《智能系统学报》[ISSN:1673-4785/CN:23-1538/TP]

卷:
第1卷
期数:
2006年02期
页码:
48-57
栏目:
出版日期:
2006-10-25

文章信息/Info

Title:
A service composition model based on finite state automat a
文章编号:
1673-4785(2006)02-0048-10
作者:
蒋运承12汤 庸2邓培民1
1. 广西师范大学计算机科学与信息工程学院,广西桂林541004;
2.中山大学计算机科学系,广东广州510275
Author(s):
JIANG Yun-cheng12 TANG Yong2 DENG Pei-min1
1. College of Computer Sciences and Information Engineering, Guangxi Normal Uni versity, Guilin 541004, China;2. Department of Computer Sciences, Sun Yasen University, Guangzhou 510275, China
关键词:
有限状态自动机带条件的有限状态自动机服务计算 服务组合
Keywords:
finite state automata finite state automata with condition service c omputing service composition
分类号:
TP18
文献标志码:
A
摘要:
分析了目前服务计算的研究现状和存在的问题,在D Berardi和A Wombacher的基础上提出了一种带条件的有限状态自动机模型cFSA(Finite State Automata with conditio n),并给出了基于cFSA的服务理论模型.在该服务理论模型的基础上提出了一种基于有限状态自动机的服务组合形式化模型,并给出了该模型的代数性质和实现方法.
Abstract:
The existing conditions and problems of service computing are analyze d, and based on the work of D Berardi and A Wombacher, a kind of f inite state automata with condition cFSA(Finite State Automata with condition) i s presented, and the service theory model based on cFSA is presented too. Ba sed on this model, the formal theory model of service composition base d on finite state automata with condition cFSA is studied. The algebraic propert y and implementing method of the service composition model are studied. 

参考文献/References:

[1] PAPAZOGLOU M P, GEORGAKOPOULOS D. Seriveoriented computing[J]. Communci cations of the ACM, 2003, 46(10): 25-65.
[2] DIETER F, CHRISTOPH B. The Web service modeling framework WSMF[J]. Elect ronic Commerce Research and Applications, 2002, 1(2): 113-137.
[3] MCLLRAITH S, SON T C, ZENG H. Semantic Web services[J]. IEEE Intell igent Systems, 2001, 16(2): 46-53.[4] 蒋运承, 张海俊, 董明楷, 史忠植. 多主体系统中的动态服务匹配[J]. 电子学报, 2004, 32(3): 457-461.
 JIANG Yuncheng, ZHANG Haijun, DONG Mingkai, SHI Zhongzhi. Dynamic service matchm aking in m ultiagent system[J]. Acta Electronica Sinica, 2004, 32(3): 457-461
[5] CHINNICI R, MOREAU J J, RYMAN A, et al. Web services descript ion language(WS DL) Version 2.0 Part 1: core language[EB/OL]. http://www.w3.org/TR/ wsdl20/, 2005-08-21.
[6] MARTIN D, ANKOLEKAR 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, JIANG Yuncheng, ZHANG Haijun, DONG Mingkai. Agent service matchmak ing based on desc ription 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/ solutions/webservices/pdf/WSFL.pdf, May, 2001.
[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. Business process ex ecution languag e 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]. 小型微型计算机系统, 20 05, 2 6(4): 687-692. JIANG Yuncheng, SHI Zhongzhi. Quality of service driven agent service matchmakin g[J]. MiniMicro Systems, 2005, 26(4): 687-692[12] BERARDI D, ROSA F D, SANTIS L D, et al. Finite state automat a as conceptual model for eServices[J]. Journal of Design & Process Science: Transactions o f the SDPS, Society for Process & Design Sciences, 2003, 7: 21-30.[13] WOMBACHER A, FANKHAUSER P, MAHLEKO B, et al. Matchmaking for business proce sses based on choreographies[J]. International Journal of Web Services, 2004, 1(4): 1545-7362.

备注/Memo

备注/Memo:
收稿日期:2006-02-23.
基金项目:国家自然科学基金资助项目(60373081); 广东省自然科学重点基金资助项目(04105503)
作者简介:
蒋运承, 男, 1974年生, 博士, 副教授, 2004年毕业于中国科学院计算技术研究所, 现为中山大学计算机科学系博士后. 主要研究方向为描述逻辑、语义Web 和多Agent系统. 主持和参加国家和省市自然科学基金项目、863计划项目7项. 在中国科学、软件学报、计算机学报等刊物上发表论文20余篇. 
汤 庸, 男, 1964年生, 博士, 教授, 博士生导师.主要研究方向为时态数据库、知识工程、软件工程、CSCW. 主持和参加国家和省市自然科学基金、重点攻关、重大科技专项及地方合作项目20余项. 出版著作8部, 科研成果获全国和省厅级科技进步奖、优秀论文奖和优秀CAI软件等奖励12项.发表论文50余篇. 
邓培民, 男, 1950年生, 教授, 硕士生导师, 毕业于广西师范大学. 主要研究方向为自动机理论及应用、计算机代数. 主持和参加国家和省市自然科学基金项目3项. 在计算机学报、数学进展等刊物上发表论文20余篇. 
更新日期/Last Update: 2009-04-27