An Extended Colored Petri Net based Model for Web Service Composition

被引：2
|
作者：
Li, JingXia [1 ]
Zhao, HuiJuan [2 ]
机构：
[1] Tongji Univ, Dept Comp Sci & Engn, Shanghai 200092, Peoples R China
[2] Donghua Univ, Glorious Sun Sch Business & management, Shanghai 200092, Peoples R China
来源：
PROCEEDINGS OF THE NINTH INTERNATIONAL SYMPOSIUM ON DISTRIBUTED COMPUTING AND APPLICATIONS TO BUSINESS, ENGINEERING AND SCIENCE (DCABES 2010) | 2010年
关键词：
colored Petri net; model driven architecture; web service compositio; correctness analysis;
D O I：
10.1109/DCABES.2010.36
中图分类号：
TP39 [计算机的应用];
学科分类号：
081203 ; 0835 ;
摘要：
Along with web service composition becomes more and more complexity, design of composition process becomes more and more error-prone. In this article we put forward a WSC_ECPN model for web service composition description based on extended colored Petri net. This model is independent of any concrete process description languages, supports process description and can describe composition process more comprehensively. Moreover, we present methods to analyze control flow correctness, data flow correctness and process instance correctness of the composition process, thus we can insure process correctness from these three levels. It the end we give an example to illustrate the application of WSC_ECPN model.
引用
收藏
页码：155 / 159
页数：5
相关论文
共 50 条
  • [1] 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
  • [2] 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
  • [3] SRN: An extended Petri-Net-Based workflow model for Web service composition
    Tang, Y
    Chen, L
    He, KT
    Jing, N
    [J]. IEEE INTERNATIONAL CONFERENCE ON WEB SERVICES, PROCEEDINGS, 2004, : 591 - 599
  • [4] 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
  • [5] 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
  • [6] 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
  • [7] A Semantic Service Composition Method Based on Fuzzy Colored Petri Net
    Ma, Zhe
    Ben, Kerong
    [J]. ADVANCES IN COMPUTER SCIENCE AND EDUCATION APPLICATIONS, PT II, 2011, 202 : 396 - 404
  • [8] Study on Semantic Web Service Composition Based on Petri Net
    Zou Jinan
    Lin Jianbing
    Ruan Deshui
    [J]. PROCEEDINGS OF 2012 7TH INTERNATIONAL CONFERENCE ON COMPUTER SCIENCE & EDUCATION, VOLS I-VI, 2012, : 1110 - 1114
  • [9] Hierarchical verification for web service composition based on petri net
    Wang, L.
    Wang, Z. G.
    [J]. BASIC & CLINICAL PHARMACOLOGY & TOXICOLOGY, 2018, 123 : 36 - 37
  • [10] A Petri Net Based Execution Engine for Web Service Composition
    Xu, Kai
    Ma, Bingxian
    [J]. WEB INFORMATION SYSTEMS ENGINEERING - WISE 2013 WORKSHOPS, 2014, 8182 : 181 - 193
12345