采用PDDL的Web服务组合方法研究

杨博; 张选平; 邵利平

您当前的位置：

首页 >

文章列表页 >

采用PDDL的Web服务组合方法研究

更新时间：2025-07-09

- 采用PDDL的Web服务组合方法研究
- Study on Web Service Composition Based on Planning Domain Definition Language
- 西安交通大学学报 2011年45卷第2期页码：21-26
- 作者机构：
  
  西安交通大学电子与信息工程学院,西安,710049
- 作者简介：
- 基金信息：
  
  : 2010-04-26. 作者简介: 杨博(1978-),男,博士生;张选平(联系人),男,副教授. 基金项目: 国防“十一五”预研项目(60673024)
- DOI：
  中图分类号： TP351
- 网络首发：2011-02-10，
  
  纸质出版：2011
- 稿件说明：
移动端阅览
杨博, 张选平, 邵利平. 采用PDDL的Web服务组合方法研究[J]. 西安交通大学学报, 2011,45(2):21-26.

Study on Web Service Composition Based on Planning Domain Definition Language[J]. 2011, 45(2): 21-26.
杨博, 张选平, 邵利平. 采用PDDL的Web服务组合方法研究[J]. 西安交通大学学报, 2011,45(2):21-26. DOI：

Study on Web Service Composition Based on Planning Domain Definition Language[J]. 2011, 45(2): 21-26. DOI：

摘要

针对单个智能(AI)规划器在解决Web服务组合问题时通用性不高以及性能受问题搜索空间影响较大的情况

基于本体描述语言(OWL-S)和规划描述语言(PDDL)结构上有极大的相似性

提出了一种将Web服务转化为PDDL描述的算法.该算法通过对OWL-S和PDDL中相应元素的转换

将Web服务组合问题成功地转换为规划问题.完成该转换后

就可自由选择AI规划器对Web服务进行组合.以查询天气信息作为组合案例

对本文提出的组合方法进行了验证

结果表明

文中所提的组合方法可用于解决Web服务组合问题

提高了AI规划器在Web服务组合问题上的普适性.

Abstract

Since artificial intelligence(AI)planners have different application domains and precondition

while the method of Web service composition using single AI planner has restricted the development of AI planner in Web service composition

we propose a novel approach to translates Web service to planning domain definition language(PDDL)in consideration of the similarity between Web ontology language for services(OWL-S)and PDDL. In this method

the problem of Web service composition is translated to the problem of plan by the corresponding elements translation between OWL-S and PDDL. After the translation

we can choose the most suitable AI planner to compose Web service. The composition method is verified by the experiment of weather finder. The result of experiment shows that the proposed method can be used in the problem of Web service composition

and it increases the AI planner's universality in resolving the Web service composition problem.

关键词

Keywords

references

DIAZ G, PARDO J J, CAMBRONERO M E, et al. Automatic translation of WS-CDL choreographies to timed automata[C]∥Proceedings of the International Workshop on Wed Services and Formal Methods. Berlin, Germany: Springer-Verlag, 2005: 230-242.

雷丽晖, 段振华. 一种基于扩展有限自动机验证组合 Web 服务的方法[J]. 软件学报, 2007, 18(12): 2980-2990.

LEI Lihui, DUAN Zhenhua. An extended deterministic finite automata based method for the verification of composite web services[J]. Journal of Software, 2007, 18(12): 2980-2990.

钱柱中, 陆桑璐, 谢立. 基于 Petri 网的 Web 服务自动组合研究[J]. 计算机学报, 2006, 29(7): 1057-1066.

QIAN Zhuzhong, LU Sanglu, XIE Li. Automatic composition of Petri net based web services[J]. Chinese Journal of Computers, 2006, 29(7): 1057-1066.

邓水光, 吴健, 李莹,等. 基于回溯树的 Web 服务自动组合[J]. 软件学报, 2007, 18(8): 1896-1910.

DENG Shuiguang, WU Jian, LI Ying, et al. Automatic web service composition based on backward tree[J]. Journal of Software, 2007, 18(8): 1896-1910.

SIRIN E. Combining description logic reasoning with AI planning for composition of web services[D]. College Park, MD, USA: Univ. of Maryland, 2006.

RAO Jinghai, SU Xiaomeng. A survey of automated web service composition methods[J]. Semantic Web Services and Web Process Composition, 2005,3387: 43-54.

MCLLRAITH S, SON T C. Adapting golog for composition of semantic web services[C]∥Proceedings of the 8th Int. Conf. on Knowledge Representation and Reasoning. Toulouse, France: Morgan Kaufmann Publishers, 2002: 482-496.

NARAYANAN S, MCILRAITH S. Simulation, verification and automated composition of web services[C]∥ New York, USA: ACM, 2002: 77-88.

MARTIN D, BURSTEIN M, HOBBS J, et al. OWL-S: semantic markup for web services [EB/OL].(2004-11-22)[2010-04-01]. http:∥www.w3.org/Submission/OWL-S/.

GHALLAB M, HOWE A, KNOBLOCK C, et al. PDDL: the planning domain definition language[EB/OL].(1998-10-01)[2010-03-26]. http:∥cs-www.cs.yale.edu/homes/dvm/.

REITER R. Knowledge in action: logical foundations for specifying and implementing dynamical systems[M]. Cambridge, MA, USA: The MIT Press, 2001.

BLUM A, FURST M. Fast planning through planning graph analysis[J]. Artificial Intelligence, 1997, 90(1/2): 281-300.

RUSSELL S, NORVIG P. Artificial intelligence: a modern approach [M]. 3rd ed. Englewood Cliffs, NJ, USA: Prentice-Hall, 2002.

面向服务级别协议的核实与规划服务质量系统框架研究. 西安交通大学学报,2010, 44(6):1-5.

利用服务质量参数值预测的Web服务选择方法. 西安交通大学学报,2010, 44(6):57-61.

内容寻址网络的P2P语义Web服务组合系统架构. 西安交通大学学报,2010, 44(2):6-10.

QoS敏感的服务组合动态配置研究. 西安交通大学学报,2010, 44(2):25-30.

以语义规则刻画服务请求的Top-k Web服务发现方法. 西安交通大学学报,2010, 44(2):35-38.

面向Web服务总线集成的分阶段优先级事件驱动. 西安交通大学学报,2009, 43(12):16-20.

面向Pareto最优遗传算法的服务组合方法. 西安交通大学学报,2009, 43(12):50-54.

一组编制模式下组合Web服务模型的约简规则与算法. 西安交通大学学报,2009, 43(6):20-23.

浏览量

下载量

CSCD

文章被引用时，请邮件提醒。

提交

工具集

关联资源

隧道内燃料电池汽车氢气泄漏扩散特性及影响因素

面向高海拔空冷发电机防晕性能演化规律的电热耦合研究

水蒸气掺混对氨裂解气旋流燃烧与排放特性的影响研究

超临界二氧化碳向心透平轮背间隙内风阻损失及流动特性研究

张角凹坑气膜孔对双层壁气膜冷却特性的影响