Automatic Web service composition based on Horn clauses and Petri nets

Xianfei Tang; Changjun Jiang; Mengchu Zhou

doi:10.1016/j.eswa.2011.04.102

Automatic Web service composition based on Horn clauses and Petri nets

Xianfei Tang, Changjun Jiang, Mengchu Zhou

Electrical and Computer Engineering

Research output: Contribution to journal › Article › peer-review

44 Scopus citations

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.

Original language	English (US)
Pages (from-to)	13024-13031
Number of pages	8
Journal	Expert Systems with Applications
Volume	38
Issue number	10
DOIs	https://doi.org/10.1016/j.eswa.2011.04.102
State	Published - Sep 15 2011

All Science Journal Classification (ASJC) codes

General Engineering
Computer Science Applications
Artificial Intelligence

Keywords

Automatic reasoning
Knowledge base
Petri nets
Service composition
Web service

Access to Document

10.1016/j.eswa.2011.04.102

Cite this

@article{8d7b44de334d4f6190945c7ac5a2e4f7,

title = "Automatic Web service composition based on Horn clauses and Petri nets",

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.",

keywords = "Automatic reasoning, Knowledge base, Petri nets, Service composition, Web service",

author = "Xianfei Tang and Changjun Jiang and Mengchu Zhou",

note = "Funding Information: This work is partially supported by National Basic Research and Development Program (973 program) of China under Grant No. 2010CB328100 ; National High-Tech Research and Development Plan of China (863 Program) under Grant 2007AA01Z136 ; National Natural Science Fund of China under Grants 90718012 , 90818023 ; Shanghai Science and Technology Research Plan of China under Grant 08JC1419300 ; the program for Changjiang Scholars and Innovative Research Team in University . ",

year = "2011",

month = sep,

day = "15",

doi = "10.1016/j.eswa.2011.04.102",

language = "English (US)",

volume = "38",

pages = "13024--13031",

journal = "Expert Systems with Applications",

issn = "0957-4174",

publisher = "Elsevier Ltd",

number = "10",

}

TY - JOUR

T1 - Automatic Web service composition based on Horn clauses and Petri nets

AU - Tang, Xianfei

AU - Jiang, Changjun

AU - Zhou, Mengchu

N1 - Funding Information: This work is partially supported by National Basic Research and Development Program (973 program) of China under Grant No. 2010CB328100 ; National High-Tech Research and Development Plan of China (863 Program) under Grant 2007AA01Z136 ; National Natural Science Fund of China under Grants 90718012 , 90818023 ; Shanghai Science and Technology Research Plan of China under Grant 08JC1419300 ; the program for Changjiang Scholars and Innovative Research Team in University .

PY - 2011/9/15

Y1 - 2011/9/15

N2 - 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.

AB - 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.

KW - Automatic reasoning

KW - Knowledge base

KW - Petri nets

KW - Service composition

KW - Web service

UR - http://www.scopus.com/inward/record.url?scp=79958007657&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=79958007657&partnerID=8YFLogxK

U2 - 10.1016/j.eswa.2011.04.102

DO - 10.1016/j.eswa.2011.04.102

M3 - Article

AN - SCOPUS:79958007657

SN - 0957-4174

VL - 38

SP - 13024

EP - 13031

JO - Expert Systems with Applications

JF - Expert Systems with Applications

IS - 10

ER -

Automatic Web service composition based on Horn clauses and Petri nets

Abstract

All Science Journal Classification (ASJC) codes

Keywords

Access to Document

Other files and links

Fingerprint

Cite this