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 条
  • [1] A Formal Verification for Web Service Composition Based on CCS
    Yun, B. S.
    Yan, J. W.
    Liu, M.
    MANUFACTURING AUTOMATION TECHNOLOGY, 2009, 392-394 : 330 - 334
  • [2] Towards formal verification of web service composition
    Bai, XX
    Fan, YS
    PROCEEDINGS OF THE 11TH INTERNATIONAL CONFERENCE ON INDUSTRIAL ENGINEERING AND ENGINEERING MANAGEMENT, VOLS 1 AND 2: INDUSTRIAL ENGINEERING AND ENGINEERING MANAGEMENT IN THE GLOBAL ECONOMY, 2005, : 577 - 581
  • [3] Formal modeling and verification for web service composition
    Tian, Baojun
    Gu, Yanlin
    Journal of Software, 2013, 8 (11) : 2733 - 2737
  • [4] Towards formal verification of web service composition
    Rouached, Mohsen
    Perrin, Olivier
    Godart, Claude
    BUSINESS PROCESS MANAGEMENT, PROCEEDINGS, 2006, 4102 : 257 - 273
  • [5] Formal modeling and verification of cloud-based web service composition
    Raza Kazmi, Syed Asad
    Qasim, Awais
    Khalid, Adnan
    Assad, Ruttaba
    Shahbaz, Muhammad
    CONCURRENCY AND COMPUTATION-PRACTICE & EXPERIENCE, 2020, 32 (21):
  • [6] Cloud Manufacturing Service Composition Modeling and Formal Verification Based on Calculus for Orchestration of Web Service
    Li Yongxiang
    Yao Xifan
    Zhang Jie
    Li Bin
    2013 25TH CHINESE CONTROL AND DECISION CONFERENCE (CCDC), 2013, : 2806 - 2810
  • [7] Semantic Web Service Composition Using Formal Verification Techniques
    Kil, Hyunyoung
    Nam, Wonhong
    COMPUTER APPLICATIONS FOR DATABASE, EDUCATION, AND UBIQUITOUS COMPUTING, 2012, 352 : 72 - +
  • [8] Towards the formal model and verification of web service choreography description language
    Zhao Xiangpeng
    Yang Hongli
    Qiu Zongyan
    WEB SERVICES AND FORMAL METHODS, PROCEEDINGS, 2006, 4184 : 273 - 287
  • [9] A formal description framework and a matchmaking technique for web service composition
    Karunamurthy, Rajesh
    Khendek, Ferhat
    Glitho, Roch H.
    INTERNATIONAL JOURNAL OF WEB INFORMATION SYSTEMS, 2010, 6 (01) : 24 - +
  • [10] Formal Verification for Web Service Composition: A Model-checking Approach
    Ghannoudi, Majdi
    Chainbi, Walid
    2015 International Symposium on Networks, Computers and Communications (ISNCC 2015), 2015,
12345