A Petri-net Coverability Model For Automatic Web Service Composition

被引：2
|
作者：
Xu, Yan [1 ]
Li, Bin [1 ]
Wu, Jun [1 ]
机构：
[1] Yangzhou Univ, Sch Informat Engn, Yangzhou, Peoples R China
来源：
2009 INTERNATIONAL CONFERENCE ON INDUSTRIAL AND INFORMATION SYSTEMS, PROCEEDINGS | 2009年
关键词：
Petri net; Web services; automatic composition; coverability;
D O I：
10.1109/IIS.2009.20
中图分类号：
TP [自动化技术、计算机技术];
学科分类号：
0812 ;
摘要：
Web services are widely used because of their features of interoperability, loose-coupled and platform independent. Web services composition is one of the hottest topics in service computing area. In this paper a method based on Petri net coverability problem is proposed to handle automatic service composition. First each service is translated into component of Petri net and the input/output places with same semantics are merged. According to user's input and desired output, the initial marking and target marking can be obtained. Then the coverabitity tree and coverability graph can be constructed. At last the node on the coverability graph which can cover the target marking should be find out, and shortest coverability path translated into smallest service executing sequence to reach the goal of automatic service composition.
引用
收藏
页码：31 / 34
页数：4
相关论文
共 50 条
  • [1] Dynamic service composition:: A Petri-net based approach
    Koehler, Michael
    Moldt, Daniel
    Ortmann, Jan
    [J]. ICEIS 2006: PROCEEDINGS OF THE EIGHTH INTERNATIONAL CONFERENCE ON ENTERPRISE INFORMATION SYSTEMS: SOFTWARE AGENTS AND INTERNET COMPUTING, 2006, : 159 - +
  • [2] 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
  • [3] Web Service Composition with Petri Net and Ontology
    Marakhimov, Azizbek
    Yim, Jaegeol
    Joo, Jaehun
    [J]. ADVANCED METHODS AND TECHNOLOGIES FOR AGENT AND MULTI-AGENT SYSTEMS, 2013, 252 : 385 - 394
  • [4] WS-Net: A Petri-net based specification model for web services
    Zhang, J
    Chang, CK
    Chung, JY
    Kim, SW
    [J]. IEEE INTERNATIONAL CONFERENCE ON WEB SERVICES, PROCEEDINGS, 2004, : 420 - 427
  • [5] SEMANTIC WEB SERVICE COMPOSITION BASED ON EXTENDED PETRI NET MODEL
    Liu, Fa-Gui
    Lin, Yue-Dong
    [J]. PROCEEDINGS OF 2013 INTERNATIONAL CONFERENCE ON MACHINE LEARNING AND CYBERNETICS (ICMLC), VOLS 1-4, 2013, : 1767 - 1772
  • [6] A Colored Petri Net Model for NFP Driven Web Service Composition
    Dasgupta, Moitreyee
    Santra, Debarpita
    Bhattacharya, Adrija
    Choudhury, Sankhayan
    [J]. 2014 IEEE INTERNATIONAL CONFERENCE ON INDUSTRIAL TECHNOLOGY (ICIT), 2014, : 782 - 787
  • [7] An Extended Colored Petri Net based Model for Web Service Composition
    Li, JingXia
    Zhao, HuiJuan
    [J]. PROCEEDINGS OF THE NINTH INTERNATIONAL SYMPOSIUM ON DISTRIBUTED COMPUTING AND APPLICATIONS TO BUSINESS, ENGINEERING AND SCIENCE (DCABES 2010), 2010, : 155 - 159
  • [8] A Novel Web Services Composition Compensation Method Based on Extended Petri-net
    Mei, Xiaoyong
    Jiang, Aijun
    Li, Shixian
    Huang, Changqin
    Zheng, Xiaolin
    Fan, Yiyan
    [J]. ADVANCED RESEARCH ON AUTOMATION, COMMUNICATION, ARCHITECTONICS AND MATERIALS, PTS 1 AND 2, 2011, 225-226 (1-2): : 1084 - +
  • [9] 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
  • [10] CPN-TWS: a coloured petri-net approach for transactional-QoS driven Web Service composition
    Cardinale, Yudith
    [J]. INTERNATIONAL JOURNAL OF WEB AND GRID SERVICES, 2011, 7 (01) : 91 - 115
12345