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 条
[41]   Petri-net-based description and verification of web services composition model [J].
Zhang, Pei-Yun ;
Huang, Bo ;
Sun, Ya-Min .
Xitong Fangzhen Xuebao / Journal of System Simulation, 2007, 19 (12) :2872-2876
[42]   Formal analysis and verification of web service compositions with timing constraints [J].
Chen, Zhihui .
International Journal of Advancements in Computing Technology, 2012, 4 (17) :426-434
[43]   Formal Transaction Modeling and Verification for an Adaptable Web Service Orchestration [J].
Zatout, Sara ;
Benabdelhafid, Maya Souilah ;
Boufaida, Mahmoud .
2018 IEEE 18TH INTERNATIONAL CONFERENCE ON SOFTWARE QUALITY, RELIABILITY AND SECURITY COMPANION (QRS-C), 2018, :531-536
[44]   Web Service Choreography Verification Using Z Formal Specification [J].
Rastegari, Y. ;
Sajadi, Z. ;
Shams, F. .
International Journal of Engineering, Transactions B: Applications, 2016, 29 (11) :1549-1557
[45]   Formal Modelling and Verification of Transactional Web Service Composition: A Refinement and Proof Approach with Event-B [J].
Ait-Sadoune, Idir ;
Ait-Ameur, Yamine .
CORRECT SOFTWARE IN WEB APPLICATIONS AND WEB SERVICES, 2015, :1-27
[46]   Web Service Choreography Verification Using Z Formal Specification [J].
Rastegari, Y. ;
Sajadi, Z. ;
Shams, F. .
INTERNATIONAL JOURNAL OF ENGINEERING, 2016, 29 (11) :1549-1557
[47]   Efficient Abstraction and Refinement for Behavioral Description Based Web Service Composition [J].
Kil, Hyunyoung ;
Nam, Wonhong ;
Lee, Dongwon .
21ST INTERNATIONAL JOINT CONFERENCE ON ARTIFICIAL INTELLIGENCE (IJCAI-09), PROCEEDINGS, 2009, :1740-1745
[48]   On the computational complexity of behavioral description-based web service composition [J].
Nam, Wonhong ;
Kil, Hyunyoung ;
Lee, Dongwon .
THEORETICAL COMPUTER SCIENCE, 2011, 412 (48) :6736-6749
[49]   A fast algorithm for web service composition based on dynamic description logic [J].
Liu W. ;
Du Y.Y. ;
Guo B.Q. ;
Yan C. ;
Xu Q. .
Information Technology Journal, 2010, 9 (06) :1150-1157
[50]   Semantic Web Service Modeling and Composition Based on Description Logic Rule [J].
Liu, Sipei ;
Liu, Dayou ;
Qi, Hong .
2009 INTERNATIONAL CONFERENCE ON INFORMATION TECHNOLOGY AND COMPUTER SCIENCE, VOL 1, PROCEEDINGS, 2009, :205-+
12345