Title :
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
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;
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
DOI :
10.1109/CSCWD.2007.4281490
