Automatic Composition of Semantic Web Services Based on Fuzzy Predicate Petri Nets

Jiujun Cheng, Cong Liu, Mengchu Zhou, Qingtian T. Zeng, Antti Ylä-Jääski

Research output: Contribution to journalArticlepeer-review

92 Scopus citations


Web service composition is a challenging research issue. This paper presents an automatic Web service composition method that deals with both input/output compatibility and behavioral constraint compatibility of fuzzy semantic services. First, user input and output requirements are modeled as a set of facts and a goal statement in the Horn clauses, respectively. A service composition problem is transformed into a Horn clause logic reasoning problem. Next, a Fuzzy Predicate Petri Net (FPPN) is applied to model the Horn clause set, and T-invariant technique is used to determine the existence of composite services fulfilling the user input/output requirements. Then, two algorithms are presented to obtain the composite service satisfying behavioral constraints, as well as to construct an FPPN model that shows the calling order of the selected services.

Original languageEnglish (US)
Article number6727441
Pages (from-to)680-689
Number of pages10
JournalIEEE Transactions on Automation Science and Engineering
Issue number2
StatePublished - Apr 1 2015

All Science Journal Classification (ASJC) codes

  • Control and Systems Engineering
  • Electrical and Electronic Engineering


  • Fuzzy predicate Petri nets (FPPN)
  • Petri nets
  • fuzzy semantic
  • horn clause
  • service composition
  • service-oriented architecture


Dive into the research topics of 'Automatic Composition of Semantic Web Services Based on Fuzzy Predicate Petri Nets'. Together they form a unique fingerprint.

Cite this