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.