[1]万长林,陈立民,王竹晓,等.语义Web服务组合中的服务建模及规划算法[J].智能系统学报,2009,4(06):490-496.[doi:10.3969/j.issn.1673-4785.2009.06.004]
 WAN Chang-lin,CHEN Li-min,WANG Zhu-xiao,et al.Semantic model and planning algorithm for Web service composition[J].CAAI Transactions on Intelligent Systems,2009,4(06):490-496.[doi:10.3969/j.issn.1673-4785.2009.06.004]
点击复制

语义Web服务组合中的服务建模及规划算法(/HTML)
分享到:

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

卷:
第4卷
期数:
2009年06期
页码:
490-496
栏目:
出版日期:
2009-12-25

文章信息/Info

Title:
Semantic model and planning algorithm for Web service composition
文章编号:
1673-4785(2009)06-0490-07
作者:
万长林12陈立民12王竹晓12王文杰2史忠植1
1.中国科学院计算技术研究所 智能信息处理重点实验室, 北京 100190; 2.中国科学院 研究生院, 北京 100049
Author(s):
WAN Chang-lin12 CHEN Li-min12 WANG Zhu-xiao12 WANG Wen-jie2 SHI Zhong-zhi1
1.Key Laboratory of Intelligent Information Processing, Institute of Computing Technology, CAS, Beijing 100190, China; 2.Graduate University of Chinese Academy of Sciences, Beijing 100049, China
关键词:
语义Web动态描述逻辑自动服务组合
Keywords:
semantic Web dynamic description logic onogy automated service composition
分类号:
TP393
DOI:
10.3969/j.issn.1673-4785.2009.06.004
文献标志码:
A
摘要:
Web服务的语义建模是指对Web服务的属性、功能和结构等进行语义描述,使用户能够对服务自动地定位、选择、使用和组合.本文以动作理论和描述逻辑为基础对服务的逻辑层信息(控制流和数据流)进行语义建模,用带前提和结果的原子动作描述简单服务,复杂动作描述组合服务的控制流,服务间的依赖关系描述数据流,并提出一个基本的Web服务自动组合框架.在该框架中,Web服务自动组合被划分为逻辑层和实现层2部分,于是服务的自动组合问题在逻辑上归结为一个动作规划问题,在实现上归结为一个根据动作选择具体服务的服务选择问题.最后给出一种新的自动组合规划算法,该算法充分考虑了语义推理和智能规划的结合,在对问题的描述能力和运行效率上做了较好的平衡.
Abstract:
This paper proposed a semantic model for Web service based on dynamic description logic (DDL), mainly concern about the logic/functional facets. In this model, a simple service was modelled as an atomic action with some preconditions and effects. The control flows of composite service were modelled by using complicated action, and the data flows were modelled as dependent relationship between atomic actions. A basic framework for automated Web service composition was introduced. In this framework, service composition was divided into two stages: logic planning stage and grounding stage. Therefore, a service composition problem was reduced to an action planning problem at planning stage and a service selection problem at grounding stage. At last, a new planning algorithm for automated composition was proposed. The algorithm achieves good balance between DDL reasoning and AI planning.

参考文献/References:

[1]MCILRAITH S, ZENG T C H. Semantic Web services[J]. IEEE Internet Systems,2001,16(2): 46-53.
[2]PAPAZOGLOU M. Serviceoriented computing: concepts, Charcteristics and directions[C]//Fourth International Conference on Web Information Systems Engineering, WISE2003. Roma, Italy, 2003:3-12.
[3]ANDREWS T, CURBERA F, DHOLAKIA H, et al. Business process execution language for Web services version 1.1[EB/OL].[2007-02-12].http://www.ibm.com/developerworks/library/specification/wsbpel/.
[4]MARTIN D. OWLS: semantic markup for web services[EB/OL].[2004-08-26].http://www.daml.org/services/owl-s/1.1/overview/.
[5]MCDERMOTT D. A temporal logic for reasoning about processes and plans[J]. Cognitive Science, 1982(6): 101-155.
[6]SCHUSTER H, GEORGAKOPOULOS D, CICHOCKI A, et al. Modeling and composing service-based and reference process-based multi-enterprise processes[J]. Advanced Information Systems Engineering, 2000,1789:247-263.
[7]KELLER U, LAUSEN H, STOLLBERG M. On the semantics of functional descriptions of web services[J]. The Semantic Web: Research and Applications, 2006,4011:605-619.
[8]NARAYANAN S, MCILRAITH S A. Simulation, verification and automated composition of web services[C]//The 11th International Conference on World Wide Web. 2002. Honolulu, Hawaii, USA,2002: 77-88.
[9]MCILRAITH S, SON T C. Adapting golog for composition of semantic web services[C]//The 8th International Conference on Principles of Knowledge Representation and Reasoning (KR2002). Toulouse, France, 2002:482-493.
[10]SIRIN E.Combing description logic reasoning with AI planning for composition of web services[D]. College Park: University of Maryland, 2006.
[11]GU Y, SOUTCHANSKI M. Decidable reasoning in a modified situation calculus[C]//Proceedings of the International Joint Conference on Artificial Intelligence. Hyderabad, India, 2007:1891-1897.
[12]HOFFMANN J O, BERTOLI P, PISTORE M. Web service composition as planning, revisited: in between background theories and initial state uncertainty[C]//Proceedings of the National Conference on Artificial Intelligence. Vancouver, Canada: AAAI Press, 2007: 1013-1018.
[13]史忠植, 董明楷, 蒋运承,等.语义Web的逻辑基础[J]. 中国科学:E辑, 2004, 34(10):1123-1138.
            SHI Zhongzhi, DONG Mingkai, JIANG Yuncheng, et al. The logical fundation for semantic Web[J]. Science in China Series E: Information Sciences, 2004, 34
             (10):1123-1138.
[14]史忠植, 常    亮.基于动态描述逻辑的语义Web服务推理[J]. 计算机学报, 2008, 31(9): 1599-1611.
             SHI Zhongzhi, CHANG Liang. Reasoning about semantic Web services with an approach based on dynamic description logics[J]. Chinese Journal of 
             Computers,2008, 31(9): 1599-1611.
[15]ZENG L, BENATALLAH B, DUMAS M, et al. Quality driven web services composition[C]//Proceedings of the 12th International Conference on World Wide Web. Budapest, Hungary: ACM. 2003:411-421.
[16]WAN C, ULLRICH C, CHEN L, et al. On solving QoSaware service selection problem with service composition[C]// The Seventh International Conference on Grid and Cooperative Computing Shenzhen, China, 2008:467-474.

相似文献/References:

[1]史忠植,林 芬,罗杰文.主体网格智能平台AGrIP构建及其应用[J].智能系统学报,2006,1(01):17.
 SHI Zhong-zhi,LIN Fen,LUO Jie-wen.AGrIP-agent grid intelligence platform[J].CAAI Transactions on Intelligent Systems,2006,1(06):17.
[2]史忠植,张子云.基于主体的智能协同决策支持系统[J].智能系统学报,2008,3(05):377.
 SH I Zhong-zhi,ZHANG Zi-yun,Agent-based intelligent collaborative dec ision support system[J].CAAI Transactions on Intelligent Systems,2008,3(06):377.
[3]郝国舜,马世龙,眭跃飞.一种扩展的动态描述逻辑语言及其 Tableau 算法[J].智能系统学报,2009,4(03):226.
 HAO Guo-shun,MA Shi-long,SUI Yue-fei.An extended dynamic description logic language and its Tableau algorithm[J].CAAI Transactions on Intelligent Systems,2009,4(06):226.
[4]朱创营,常亮,徐周波,等.含有合取查询的时态描述逻辑ALC-LTL模型检测[J].智能系统学报,2014,9(06):714.[doi:10.3969/j.issn.1673-4785.201303034]
 ZHU Chuangying,CHANG Liang,XU Zhoubo,et al.Research on the model checking of temporal description logic ALC-LTL containing conjunctive query[J].CAAI Transactions on Intelligent Systems,2014,9(06):714.[doi:10.3969/j.issn.1673-4785.201303034]

备注/Memo

备注/Memo:
基金项目:国家自然科学基金资助项目(60775035, 60970088); 国家“863”计划资助项目(2007AA01Z132);国家“973”计划资助项目(2003CB317004,2007CB311004);国家科技支撑计划资助项目(2006BAC08B06);中国科学院研究生院院长基金资助项目(O85101JM03).
作者简介:
万长林,男,博士研究生。主要研究方向为人工智能,语义Web和组合优化.
史忠植,男,1941年生,研究员,博士生导师,主要研究方向为智能科学、人工智能、多主体系统、数据挖掘、机器学习、知识工程等.1979年、1998年、2001年均获中国科学院科技进步二等奖,1994年获中国科学院科技进步特等奖,2002年获国家科技进步二等奖.发表学术论文400余篇,出版专著5部.
更新日期/Last Update: 2010-02-17