Formal description and verification of Web service composition based on OOPN

被引：0
|
作者：
Su, Jindian [1 ]
Yu, Shanshan [2 ]
Guo, Heqing [1 ]
机构：
[1] South China Univ Technol, Coll Comp Sci & Engn, Guangzhou 510006, Guangdong, Peoples R China
[2] Sun Yat Sen Univ, Sch Informat Technol, Comp Sci, Guangzhou 510275, Guangdong, Peoples R China
来源：
ADVANCED INTELLIGENT COMPUTING THEORIES AND APPLICATIONS, PROCEEDINGS: WITH ASPECTS OF THEORETICAL AND METHODOLOGICAL ISSUES | 2008年 / 5226卷
关键词：
D O I：
暂无
中图分类号：
TP39 [计算机的应用];
学科分类号：
081203 ; 0835 ;
摘要：
To overcome the shortcomings of unable to demonstrate the characteristics of encapsulation, reusability and message-driven when using Petri nets to model Web service composition, this paper proposes object oriented Petri nets (OOPN) as the formal description and verification tool for Web service composition. Some basic concepts of OOPN, including class net, inheritance, object net and object net system, are given in the paper respectively and the mechanisms of "Gate" and "Port" are used to describe message transfer and synchronization relationships among objects. The OOPN expressions of various basic control flow structure and message synchronization relationships of Web service composition are also stated. Finally, we give a case study to show that our proposed method can more naturally and accurately demonstrate the encapsulation and message-driven characteristics of Web services.
引用
收藏
页码：644 / +
页数：2
相关论文
共 50 条
  • [31] Formal verification for semantic Web services composition based on coloured Petri nets
    Ni, Yue
    Fan, Yushun
    Qinghua Daxue Xuebao/Journal of Tsinghua University, 2010, 50 (05): : 714 - 717
  • [32] Cloud manufacturing service composition and formal verification based on extended process calculus
    Li, Yongxiang
    Yao, Xifan
    ADVANCES IN MECHANICAL ENGINEERING, 2018, 10 (06)
  • [33] Verification of Time Constraints Consistency on Web Service Composition based on ETPN
    Chen, Ting-wei
    Geng, Shuo-yang
    INFORMATION TECHNOLOGY FOR MANUFACTURING SYSTEMS II, PTS 1-3, 2011, 58-60 : 1094 - 1099
  • [34] Compatibility Verification of Web Service Composition Based on Pi-calculus
    Jia, Zhichun
    Xing, Xing
    PROCEEDINGS OF THE 2015 JOINT INTERNATIONAL MECHANICAL, ELECTRONIC AND INFORMATION TECHNOLOGY CONFERENCE (JIMET 2015), 2015, 10 : 244 - 248
  • [35] Research on reachability verification of Web service composition
    Cheng, Yongshang
    Wang, Zhijian
    2009 WRI WORLD CONGRESS ON SOFTWARE ENGINEERING, VOL 4, PROCEEDINGS, 2009, : 233 - +
  • [36] Algebraic modeling and verification of Web service composition
    Rai, Gopal N.
    Gangadharan, G. R.
    Padmanabhan, Vineet
    6TH INTERNATIONAL CONFERENCE ON AMBIENT SYSTEMS, NETWORKS AND TECHNOLOGIES (ANT-2015), THE 5TH INTERNATIONAL CONFERENCE ON SUSTAINABLE ENERGY INFORMATION TECHNOLOGY (SEIT-2015), 2015, 52 : 675 - 679
  • [37] Semantic consistency verification of Web service composition
    Wang, Zhi-Jian
    Cheng, Yong-Shang
    Xu, Jing-Wei
    Jisuanji Jicheng Zhizao Xitong/Computer Integrated Manufacturing Systems, CIMS, 2009, 15 (01): : 202 - 208
  • [38] An Application of Bitwise-based Indexing to Web Service Composition and Verification
    Huynh, Khai T.
    Bui, Thang H.
    Quan, Tho T.
    2016 INTERNATIONAL CONFERENCE ON ADVANCED COMPUTING AND APPLICATIONS (ACOMP), 2016, : 51 - 58
  • [39] Petri-net-based description and verification of web services composition model
    Zhang, Pei-Yun
    Huang, Bo
    Sun, Ya-Min
    Xitong Fangzhen Xuebao / Journal of System Simulation, 2007, 19 (12): : 2872 - 2876
  • [40] Formal Transaction Modeling and Verification for an Adaptable Web Service Orchestration
    Zatout, Sara
    Benabdelhafid, Maya Souilah
    Boufaida, Mahmoud
    2018 IEEE 18TH INTERNATIONAL CONFERENCE ON SOFTWARE QUALITY, RELIABILITY AND SECURITY COMPANION (QRS-C), 2018, : 531 - 536
12345