Automatic Web service composition based on Horn clauses and Petri nets

  • Authors:

  • Xianfei Tang;Changjun Jiang;Mengchu Zhou

  • Affiliations:

  • Department of Computer Science and Technology, Tongji University, Shanghai 201804, China and Key Laboratory of Embedded System and Service Computing, Ministry of Education, Tongji University, Shan ...;Department of Computer Science and Technology, Tongji University, Shanghai 201804, China and Key Laboratory of Embedded System and Service Computing, Ministry of Education, Tongji University, Shan ...;Department of Electrical and Computer Engineering, New Jersey Institute of Technology, Newark, NJ 07102, USA

  • Venue:
  • Expert Systems with Applications: An International Journal
  • Year:
  • 2011

Quantified Score

Hi-index 12.06

Visualization

Abstract

This paper introduces an automatic Web service composition method based on logical inference of Horn clauses and Petri nets. The Web service composition problem is transformed into the logical inference problem of Horn clauses by exploring the dependency relations among services. An algorithm is presented, to determine whether the composite service exists in time that is linear in the size of the knowledge base. It can also return the rule set necessary for the composition. Petri nets are chosen to model the rule set and its structural analysis techniques are used to obtain the composite service.