Automatic web service composition based on logical inference of horn clauses in Petri net models

被引：0
|
作者：
Tang, Xianfei [1 ]
Jiang, Changjun [1 ]
Ding, Zhijun [1 ]
机构：
[1] Tongji Univ, Dept Comp Sci & Technol, Shanghai 201804, Peoples R China
来源：
2007 IEEE INTERNATIONAL CONFERENCE ON WEB SERVICES, PROCEEDINGS | 2007年
关键词：
D O I：
暂无
中图分类号：
TP [自动化技术、计算机技术];
学科分类号：
0812 ;
摘要：
This paper introduces an automatic Web service composition method based on logical inference of Horn clauses in Petri net models. The available services and user request described in SA WSDL are translated into a set of Horn clauses and the composability rules of the services' input/output parameters are established using ontology reasoning. We choose Petri net as the model of this set of Horn clauses. T-invariant method of Petri nets is used to determine the existence of composite Web services that can fulfill user's requirement.
引用
收藏
页码：1162 / +
页数：2
相关论文
共 50 条
  • [1] LOGICAL INFERENCE OF HORN CLAUSES IN PETRI-NET MODELS
    LIN, C
    CHAUDHURY, A
    WHINSTON, AB
    MARINESCU, DC
    [J]. IEEE TRANSACTIONS ON KNOWLEDGE AND DATA ENGINEERING, 1993, 5 (03) : 416 - 425
  • [2] Automatic Web service composition based on Horn clauses and Petri nets
    Tang, Xianfei
    Jiang, Changjun
    Zhou, Mengchu
    [J]. EXPERT SYSTEMS WITH APPLICATIONS, 2011, 38 (10) : 13024 - 13031
  • [3] Logical inference of clauses based on Petri net models
    Lin, C
    Chanson, ST
    [J]. INTERNATIONAL JOURNAL OF INTELLIGENT SYSTEMS, 1998, 13 (09) : 821 - 840
  • [4] A Petri net approach for logical inference of clauses
    Muppala, JK
    Lin, C
    [J]. JOURNAL OF THE INSTITUTION OF ELECTRONICS AND TELECOMMUNICATION ENGINEERS, 1996, 42 (03): : 141 - 147
  • [5] Web Service automatic composition based on extended token of Petri net
    Yang Bo
    Song Shun-lin
    [J]. INFORMATION TECHNOLOGY FOR MANUFACTURING SYSTEMS, PTS 1 AND 2, 2010, : 220 - 225
  • [6] Petri net models and efficient T-invariant analysis for logical inference of clauses
    Lin, C
    Chanson, ST
    Murata, T
    [J]. INFORMATION INTELLIGENCE AND SYSTEMS, VOLS 1-4, 1996, : 3174 - 3179
  • [7] Colored Petri net based automatic service composition
    Qian, Zhuzhong
    Lu, SangLu
    Xie, Li
    [J]. 2ND IEEE ASIA-PACIFIC SERVICES COMPUTING CONFERENCE, PROCEEDINGS, 2007, : 431 - 438
  • [8] Interactive Web service composition based on Petri net
    Sun, Ping
    Jiang, ChangJun
    Zhou, MengChu
    [J]. TRANSACTIONS OF THE INSTITUTE OF MEASUREMENT AND CONTROL, 2011, 33 (01) : 116 - 132
  • [9] A Petri-net Coverability Model For Automatic Web Service Composition
    Xu, Yan
    Li, Bin
    Wu, Jun
    [J]. 2009 INTERNATIONAL CONFERENCE ON INDUSTRIAL AND INFORMATION SYSTEMS, PROCEEDINGS, 2009, : 31 - 34
  • [10] Automatic Web Services Composition Based On Reasoning Petri Net
    Le, Jia-Jin
    He, Feng
    [J]. ALPIT 2008: SEVENTH INTERNATIONAL CONFERENCE ON ADVANCED LANGUAGE PROCESSING AND WEB INFORMATION TECHNOLOGY, PROCEEDINGS, 2008, : 569 - +
12345