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]   MAS-based dynamic web service composition formal model [J].
Xu, Donghong ;
Qi, Yong ;
Hou, Di ;
Shen, Linfeng ;
Du, Xiaozhi ;
Wang, Gongzhen .
Journal of Southeast University (English Edition), 2008, 24 (03) :289-292
[32]   Formal verification for semantic Web services composition based on coloured Petri nets [J].
Ni, Yue ;
Fan, Yushun .
Qinghua Daxue Xuebao/Journal of Tsinghua University, 2010, 50 (05) :714-717
[33]   Cloud manufacturing service composition and formal verification based on extended process calculus [J].
Li, Yongxiang ;
Yao, Xifan .
ADVANCES IN MECHANICAL ENGINEERING, 2018, 10 (06)
[34]   Research on reachability verification of Web service composition [J].
Cheng, Yongshang ;
Wang, Zhijian .
2009 WRI WORLD CONGRESS ON SOFTWARE ENGINEERING, VOL 4, PROCEEDINGS, 2009, :233-+
[35]   Algebraic modeling and verification of Web service composition [J].
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
[36]   Verification of Time Constraints Consistency on Web Service Composition based on ETPN [J].
Chen, Ting-wei ;
Geng, Shuo-yang .
INFORMATION TECHNOLOGY FOR MANUFACTURING SYSTEMS II, PTS 1-3, 2011, 58-60 :1094-1099
[37]   Compatibility Verification of Web Service Composition Based on Pi-calculus [J].
Jia, Zhichun ;
Xing, Xing .
PROCEEDINGS OF THE 2015 JOINT INTERNATIONAL MECHANICAL, ELECTRONIC AND INFORMATION TECHNOLOGY CONFERENCE (JIMET 2015), 2015, 10 :244-248
[38]   Semantic consistency verification of Web service composition [J].
Wang, Zhi-Jian ;
Cheng, Yong-Shang ;
Xu, Jing-Wei .
Jisuanji Jicheng Zhizao Xitong/Computer Integrated Manufacturing Systems, CIMS, 2009, 15 (01) :202-208
[39]   An Application of Bitwise-based Indexing to Web Service Composition and Verification [J].
Huynh, Khai T. ;
Bui, Thang H. ;
Quan, Tho T. .
2016 INTERNATIONAL CONFERENCE ON ADVANCED COMPUTING AND APPLICATIONS (ACOMP), 2016, :51-58
[40]   A novel web service composition verification method based on petri net [J].
Liu, Lei ;
Ji, Xiang ;
Zhang, Lei ;
Zhang, Yanli ;
Lu, Shuai .
International Journal of Digital Content Technology and its Applications, 2012, 6 (11) :378-385
12345