A Petri Net-Based Byzantine Fault Diagnosis Method for Service Composition

被引：3
|
作者：
Fan, Guisheng [1 ,2 ]
Yu, Huiqun [1 ]
Chen, Liqiong [3 ]
Liu, Dongmei [1 ]
机构：
[1] East China Univ Sci & Technol, Dept Comp Sci & Engn, Shanghai 200237, Peoples R China
[2] Nanjing Univ, State Key Lab Novel Software Technol, Nanjing 210093, Jiangsu, Peoples R China
[3] Shanghai Inst Technol, Dept Comp Sci & Informat Engn, Shanghai 200235, Peoples R China
来源：
2012 IEEE 36TH ANNUAL COMPUTER SOFTWARE AND APPLICATIONS CONFERENCE (COMPSAC) | 2012年
关键词：
Service composition; Byzantine; fault diagnosis; Petri net; detection; FRAMEWORK;
D O I：
10.1109/COMPSAC.2012.63
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
Service composition is an important means for integrating the individual Web services to create new value added systems that can satisfy complex requirements. However, it is a challenge to enforce fault diagnosis mechanism for those applications due to the uncertainty of service quality in distributive and heterogeneous environment. In this paper, a Byzantine fault diagnosis method for service composition based on Petri nets is proposed. The reliability of service are taken into account for the appropriate selection of required services. And a service composition fault net (SCFN) is proposed, which can be used to model different components of service composition. Finally, the fault detection strategy is provided for processing fault of service composition in dynamic environment. Theories of Petri nets help prove its correctness and effectiveness, thus guarantee the reliability of service composition. A case study illustrates the applicability of proposed method, and its feasibility has been demonstrated by simulation.
引用
收藏
页码：42 / 51
页数：10
相关论文
共 50 条
  • [1] A Petri net-based Approach to Service Composition and Monitoring in the IOT
    Yang, Rong
    Li, Bing
    Cheng, Can
    [J]. 2014 ASIA-PACIFIC SERVICES COMPUTING CONFERENCE (APSCC), 2014, : 16 - 22
  • [2] A logical petri net-based approach for web service cluster composition
    College of Information Science and Engineering, Shandong University of Science and Technology, Qingdao
    Shandong
    266590, China
    [J]. Jisuanji Xuebao, 1 (204-218):
  • [3] Fuzzy Petri Net-based Optimized Semantic Web Service Composition
    Fu, Rui
    Dong, Weiqing
    Yang, Guang
    Me, Yiduo
    Dong, Xiaoshe
    [J]. GCC 2008: SEVENTH INTERNATIONAL CONFERENCE ON GRID AND COOPERATIVE COMPUTING, PROCEEDINGS, 2008, : 496 - 502
  • [4] Online fault diagnosis of discrete event systems.: A Petri net-based approach
    Ramirez-Trevino, Antonio
    Ruiz-Beltran, Elvia
    Rivera-Rangel, Israel
    Lopez-Mellado, Ernesto
    [J]. IEEE TRANSACTIONS ON AUTOMATION SCIENCE AND ENGINEERING, 2007, 4 (01) : 31 - 39
  • [5] Fuzzy Petri Net-Based Fault Diagnosis for Vacuum System in Space Environment Simulator
    Li, Na
    Zhan, Haiyang
    Wang, Yu
    Wang, Xingjian
    [J]. PROCEEDINGS OF THE 2016 IEEE 11TH CONFERENCE ON INDUSTRIAL ELECTRONICS AND APPLICATIONS (ICIEA), 2016, : 1708 - 1713
  • [6] A Petri net-based approach for automated goal-driven web service composition
    Zhovtobryukh, Dmytro
    [J]. SIMULATION-TRANSACTIONS OF THE SOCIETY FOR MODELING AND SIMULATION INTERNATIONAL, 2007, 83 (01): : 33 - 63
  • [7] A Method For Fault Diagnosis In Missile Based On Fuzzy Petri Net
    Sun Limin
    Meng Chen
    Yang Sen
    Li Hao
    [J]. 2012 INTERNATIONAL CONFERENCE ON INDUSTRIAL CONTROL AND ELECTRONICS ENGINEERING (ICICEE), 2012, : 1911 - 1913
  • [8] A fuzzy Petri net-based reasoning method for rescheduling
    Qiao, Fei
    Wu, Qidi
    Li, Li
    Wang, Zuntong
    Shi, Bin
    [J]. TRANSACTIONS OF THE INSTITUTE OF MEASUREMENT AND CONTROL, 2011, 33 (3-4) : 435 - 455
  • [9] Analytical method of Web service composition based on Petri net
    Zhang, Chang-You
    Cao, Yuan-Da
    Hu, Jing-Jing
    Jin, Jun
    Yu, Jiong
    [J]. Beijing Ligong Daxue Xuebao/Transaction of Beijing Institute of Technology, 2009, 29 (07): : 618 - 621
  • [10] Petri net-based design method of digital circuits
    Zhao, BH
    Yan, YG
    [J]. PROCEEDINGS OF THE 4TH WORLD CONGRESS ON INTELLIGENT CONTROL AND AUTOMATION, VOLS 1-4, 2002, : 363 - 366
12345