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
关键词
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 条
  • [21] A Petri Net-Based Method for Compatibility Analysis and Composition of Web Services in Business Process Execution Language
    Tan, Wei
    Fan, Yushun
    Zhou, MengChu
    [J]. IEEE TRANSACTIONS ON AUTOMATION SCIENCE AND ENGINEERING, 2009, 6 (01) : 94 - 106
  • [22] Petri net-based Context-aware Service System Modelling: An Overview
    Wang Wusheng
    Li Weiping
    Wu Zhonghai
    Zhang Zhichao
    [J]. PROCEEDINGS 2014 INTERNATIONAL CONFERENCE ON SERVICE SCIENCES (ICSS 2014), 2014, : 60 - 65
  • [23] A System Fault Diagnosis Method Based on Labeled Time Petri Net with Data
    Song, Jian
    Liu, Guanjun
    [J]. IEEE Control Systems Letters, 2024, 8 : 2337 - 2342
  • [24] Fault Diagnosis Method of Power System Based on the Adaptive Fuzzy Petri Net
    Lan Jingchuan
    Ma Min
    [J]. IEEE CIRCUITS AND SYSTEMS INTERNATIONAL CONFERENCE ON TESTING AND DIAGNOSIS, 2009, : 75 - 78
  • [25] Fault Diagnosis Method of Power System Based on Fuzzy Time Petri Net
    Xu, Biao
    Yin, Xianggen
    Wang, Yang
    Zhang, Zhe
    Hao, Xun
    Chen, Zhongzhong
    [J]. Dianli Xitong Zidonghua/Automation of Electric Power Systems, 2018, 42 (02): : 70 - 76
  • [26] Method Based on Rough Set and Improved Petri Net for Transformer Fault Diagnosis
    Sun, Chengyu
    Yue, XiaoGuang
    [J]. INTERNATIONAL JOURNAL OF ONLINE ENGINEERING, 2015, 11 (08) : 25 - 28
  • [27] The Substation Fault Diagnosis Method Based on the Time Constraint Probability Petri Net
    Gong, Liang
    Ma, Rui
    Yang, Hai-jing
    He, Yinghong
    [J]. 2015 5TH INTERNATIONAL CONFERENCE ON ELECTRIC UTILITY DEREGULATION AND RESTRUCTURING AND POWER TECHNOLOGIES (DRPT 2015), 2015, : 1142 - 1146
  • [28] Petri net-based architecture for plant simulation
    Camurri, A
    Coglio, A
    [J]. ETFA '97 - 1997 IEEE 6TH INTERNATIONAL CONFERENCE ON EMERGING TECHNOLOGIES AND FACTORY AUTOMATION PROCEEDINGS, 1997, : 397 - 402
  • [29] Petri net-based engine for adaptive learning
    Vidal, Juan C.
    Lama, Manuel
    Bugarin, Alberto
    [J]. EXPERT SYSTEMS WITH APPLICATIONS, 2012, 39 (17) : 12799 - 12813
  • [30] A colored Petri net-based formal method for the design of central systems
    Makungu, M
    StDenis, R
    Barbeau, M
    [J]. TWENTIETH ANNUAL INTERNATIONAL COMPUTER SOFTWARE & APPLICATIONS CONFERENCE (COMPSAC'96), PROCEEDINGS, 1996, 20 : 28 - 35