Automatic Web service composition based on Horn clauses and Petri nets

Document Type

Article

Publication Date

9-15-2011

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. © 2010 Elsevier Ltd. All rights reserved.

Identifier

79958007657 (Scopus)

Publication Title

Expert Systems with Applications

External Full Text Location

https://doi.org/10.1016/j.eswa.2011.04.102

ISSN

09574174

First Page

13024

Last Page

13031

Issue

10

Volume

38

Grant

2010CB328100

Fund Ref

National Natural Science Foundation of China

This document is currently not available here.

Share

COinS