AI Planning for Web Service Automatic Composition Using Petri Nets

Author

Ding, Zhijun ; Wang, Junli ; Song, Hong

Author_Institution

Shandong Univ. of Sci. & Technol., Qingdao

fYear

2007

fDate

26-28 April 2007

Firstpage

519

Lastpage

524

Abstract

This paper presents an AI planning method for Web service automatic composition using Predicate/Transition (Pr/T) net model. First, based on Web service description of inputs, outputs, preconditions and effects in OWL-S specification, a Pr/T net model is constructed for a service composition plan. Then, this plan is effectively solved by a reachability algorithm of the Pr/T net and a corresponding reachability graph is obtained. Moreover, a regular language of Pr/T net is generated for representing all plan paths of a service composition. Finally, a process model of composite service is extracted after normalization of the plan paths. This method provides a complete solution from modeling AI plan to constructing process model for service composition, so it is helpful for realizing automatic composition and dynamical integration of Web service.

Keywords

Petri nets; Web services; formal languages; ontologies (artificial intelligence); planning (artificial intelligence); reachability analysis; specification languages; AI planning; OWL-S specification; Petri nets; Web service automatic composition; predicate/transition net model; reachability graph algorithm; regular language; Artificial intelligence; Automatic control; Calculus; Collaborative work; Concurrent computing; Educational institutions; Logic; Petri nets; Process planning; Web services; AI planning; Pr/T net; Web service; reachability; service composition;

fLanguage

English

Publisher

ieee

Conference_Titel

Computer Supported Cooperative Work in Design, 2007. CSCWD 2007. 11th International Conference on

Conference_Location

Melbourne, Vic.

Print_ISBN

1-4244-0963-2

Electronic_ISBN

1-4244-0963-2

Type

conf

DOI

10.1109/CSCWD.2007.4281490

Filename

4281490