AI Planning for Web Service Automatic Composition Using Petri Nets

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.