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 条
[21]   Pi-Calculus Based Formal Verification of Web Services Composition [J].
Agarwal, Saurabh ;
Agarwal, Koshel .
INTERNATIONAL JOURNAL OF GRID AND DISTRIBUTED COMPUTING, 2015, 8 (05) :137-140
[22]   Set partition and trace based verification of Web service composition [J].
Rai, Gopal N. ;
Gangadharan, G. R. .
6TH INTERNATIONAL CONFERENCE ON AMBIENT SYSTEMS, NETWORKS AND TECHNOLOGIES (ANT-2015), THE 5TH INTERNATIONAL CONFERENCE ON SUSTAINABLE ENERGY INFORMATION TECHNOLOGY (SEIT-2015), 2015, 52 :278-285
[23]   Hierarchical verification for web service composition based on petri net [J].
Wang, L. ;
Wang, Z. G. .
BASIC & CLINICAL PHARMACOLOGY & TOXICOLOGY, 2018, 123 :36-37
[24]   Polyadic Pi-calculus based description and verification for web service [J].
Hu, Jing ;
Rao, Guozheng ;
Feng, Zhiyong .
Tianjin Daxue Xuebao (Ziran Kexue yu Gongcheng Jishu Ban)/Journal of Tianjin University Science and Technology, 2013, 46 (06) :520-525
[25]   Description and Analysis for Web Service Composition Based on XYZ/ADL [J].
Zhang Guang-quan ;
Rong Mei ;
Wei Hui .
2009 WRI WORLD CONGRESS ON SOFTWARE ENGINEERING, VOL 3, PROCEEDINGS, 2009, :185-+
[26]   Semantic Web service composition based on dynamic description logics [J].
Chang, L. (changl@guet.edu.cn), 1600, Science Press (36) :2468-2478
[27]   Dynamic Description Logic based Semantic Web Service Composition [J].
Zhang, Jianhua ;
Wang, Wenjie ;
Shi, Zhongzhi ;
Tian, Dongping ;
Yue, Jinpeng ;
Zhang, Bo .
2013 NINTH INTERNATIONAL CONFERENCE ON SEMANTICS, KNOWLEDGE AND GRIDS (SKG), 2013, :194-197
[28]   Formal verification approaches in the web service composition: A comprehensive analysis of the current challenges for future research [J].
Souri, Alireza ;
Rahmani, Amir Masoud ;
Navimipour, Nima Jafari .
INTERNATIONAL JOURNAL OF COMMUNICATION SYSTEMS, 2018, 31 (17)
[29]   Generic and Specific Compatibility Criteria for Web Service Composition: Formal Abstraction and Modular Verification Approach [J].
Klai, Kais ;
Tata, Samir ;
Ochi, Hanen .
INTERNATIONAL JOURNAL OF WEB SERVICES RESEARCH, 2012, 9 (04) :45-68
[30]   A formal model for semantic Web service composition [J].
Lecue, Freddy ;
Leger, Alain .
SEMANTIC WEB - ISEC 2006, PROCEEDINGS, 2006, 4273 :385-398
12345