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] Set partition and trace based verification of Web service composition
    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
  • [22] Hierarchical verification for web service composition based on petri net
    Wang, L.
    Wang, Z. G.
    BASIC & CLINICAL PHARMACOLOGY & TOXICOLOGY, 2018, 123 : 36 - 37
  • [23] Polyadic Pi-calculus based description and verification for web service
    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
  • [24] Description and Analysis for Web Service Composition Based on XYZ/ADL
    Zhang Guang-quan
    Rong Mei
    Wei Hui
    2009 WRI WORLD CONGRESS ON SOFTWARE ENGINEERING, VOL 3, PROCEEDINGS, 2009, : 185 - +
  • [25] Semantic Web service composition based on dynamic description logics
    Chang, L. (changl@guet.edu.cn), 1600, Science Press (36):
  • [26] Dynamic Description Logic based Semantic Web Service Composition
    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
  • [27] Formal verification approaches in the web service composition: A comprehensive analysis of the current challenges for future research
    Souri, Alireza
    Rahmani, Amir Masoud
    Navimipour, Nima Jafari
    INTERNATIONAL JOURNAL OF COMMUNICATION SYSTEMS, 2018, 31 (17)
  • [28] Generic and Specific Compatibility Criteria for Web Service Composition: Formal Abstraction and Modular Verification Approach
    Klai, Kais
    Tata, Samir
    Ochi, Hanen
    INTERNATIONAL JOURNAL OF WEB SERVICES RESEARCH, 2012, 9 (04) : 45 - 68
  • [29] A formal model for semantic Web service composition
    Lecue, Freddy
    Leger, Alain
    SEMANTIC WEB - ISEC 2006, PROCEEDINGS, 2006, 4273 : 385 - 398
  • [30] MAS-based dynamic web service composition formal model
    Xu, Donghong
    Qi, Yong
    Hou, Di
    Shen, Linfeng
    Du, Xiaozhi
    Wang, Gongzhen
    Journal of Southeast University (English Edition), 2008, 24 (03) : 289 - 292
12345