A Petri-Net Based Reliability Prediction Method for SOA Software

被引:2
|
作者
Zhang, Hao [1 ]
Lu, Minyan [1 ]
Gu, Tingyang [1 ]
机构
[1] Beihang Univ, Sch Reliabil & Syst Engn, Key Lab Reliabil & Environm Engn Technol, Beijing, Peoples R China
关键词
Service-Oriented Architecture; Petri nets; Model transformation; Reliability prediction; MODEL;
D O I
10.1145/3239576.3239606
中图分类号
TP301 [理论、方法];
学科分类号
081202 ;
摘要
In order to satisfy the requirement of the use of large-scale, complex distributed software system, Service Oriented Architecture has aroused wide concern. How to build a reliable SOA software system has become one of the important issues in this research area. As for SOA software, reliability prediction can be used for providing reliability information at the early stage of development to help developers in improving the quality of software. In current researches of SOA reliability prediction, on the one hand, researchers mainly focus on only one aspect of software system like service processes or service states, neglecting a comprehensive view of both static structure and dynamic behavior. On the other hand, the participation of users is not fully considered and modeled. In our previous research, we proposed a SOA software architecture extended modeling method considering reliability information. In this paper, we continued our research and a SOA software reliability prediction method is proposed. The proposed approach is based on our previous modeling method, and a model transformation approach is used to build the Petri-net based reliability analytic model. Then the reliability prediction result is obtained by Petri-net simulation. The proposed software prediction method can provide reliability information at the early stage of software development, which is helpful for ensuring the reliability requirement and the quality of software at the end of the development.
引用
收藏
页码:165 / 172
页数:8
相关论文
共 50 条
  • [31] THE RESEARCH ON THE WORKFLOW PROCESS MODELING BASED ON PETRI-NET
    Tang Shao-Xun
    Yi Xian-Qing
    Luo Xue-Shan
    PROCEEDINGS OF THE 2ND INTERNATIONAL CONFERENCE ON ADVANCED COMPUTER THEORY AND ENGINEERING (ICACTE 2009), VOLS 1 AND 2, 2009, : 1331 - 1335
  • [32] Dynamic service composition:: A Petri-net based approach
    Koehler, Michael
    Moldt, Daniel
    Ortmann, Jan
    ICEIS 2006: PROCEEDINGS OF THE EIGHTH INTERNATIONAL CONFERENCE ON ENTERPRISE INFORMATION SYSTEMS: SOFTWARE AGENTS AND INTERNET COMPUTING, 2006, : 159 - +
  • [33] Petri-Net Based Safety Analysis of Process Systems
    Zhou, Jianfeng
    2017 IEEE INTERNATIONAL CONFERENCE ON INDUSTRIAL ENGINEERING AND ENGINEERING MANAGEMENT (IEEM), 2017, : 1217 - 1221
  • [34] Operators for Analyzing Software Reliability with Petri net
    Yu Ruiqiang
    Huang Zhiqiu
    ISISE 2008: INTERNATIONAL SYMPOSIUM ON INFORMATION SCIENCE AND ENGINEERING, VOL 2, 2008, : 358 - 361
  • [35] A Petri Net based approach for reliability prediction of web services
    Zhong, Duhang
    Qi, Zhichang
    ON THE MOVE TO MEANINGFUL INTERNET SYSTEMS 2006: OTM 2006 WORKSHOPS, PT 1, PROCEEDINGS, 2006, 4277 : 116 - +
  • [36] Multimedia synchronization model based on timed Petri-net
    Song, Jun
    Gu, Guanqun
    Xiaoxing Weixing Jisuanji Xitong/Mini-Micro Systems, 18 (11): : 27 - 30
  • [37] Formal security model research based on petri-net
    Liu, MX
    Yu, DM
    Zhang, QY
    Zhao, H
    2005 IEEE INTERNATIONAL CONFERENCE ON GRANULAR COMPUTING, VOLS 1 AND 2, 2005, : 575 - 578
  • [38] TIMED PETRI-NET APPROACH TO PERFORMANCE MODELING WITH THE MOON METHOD
    HULL, MEC
    ODONOGHUE, PG
    SOFTWARE ENGINEERING JOURNAL, 1994, 9 (03): : 95 - 106
  • [39] A Workflow Modeling Optimization and Analysis Algorithm Based on Petri-net
    Hao Mei
    2008 INTERNATIONAL CONFERENCE ON MANAGEMENT SCIENCE & ENGINEERING (15TH), VOLS I AND II, CONFERENCE PROCEEDINGS, 2008, : 188 - 192
  • [40] A Novel Petri-Net Based Resource Constrained Multi-project Scheduling Method
    Hu, Wenbin
    Wang, Huan
    ALGORITHMS AND ARCHITECTURES FOR PARALLEL PROCESSING, ICA3PP 2014, PT I, 2014, 8630 : 270 - 284