[1]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(2):48-57.
Copy

A service composition model based on finite state automat a

CAAI Transactions on Intelligent Systems[ISSN 1673-4785/CN 23-1538/TP] Volume: 1 Number of periods: 2006 2 Page number: 48-57 Column: 学术论文—人工智能基础 Public date: 2006-10-25
Title:
A service composition model based on finite state automat a
Author(s):
JIANG Yun-cheng1; 2;  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
CLC:
TP18
DOI:
-
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.
Similar References:

Memo

-

Last Update: 2009-04-27

Copyright © CAAI Transactions on Intelligent Systems