Formally Modeling and Analyzing the Reliability of Cloud Applications

被引:3
|
作者
Fan, Guisheng [1 ]
Yu, Huiqun [1 ]
Chen, Liqiong [2 ]
机构
[1] E China Univ Sci & Technol, Dept Comp Sci & Engn, Shanghai 200237, Peoples R China
[2] Shanghai Inst Technol, Dept Comp Sci & Informat Engn, Shanghai 200235, Peoples R China
基金
高等学校博士学科点专项科研基金;
关键词
Cloud computing; reliability; Petri nets; modeling; Computation Tree Logic (CTL); RESOURCE; PREDICTION; STORAGE;
D O I
10.1142/S0218194016500121
中图分类号
TP18 [人工智能理论];
学科分类号
081104 ; 0812 ; 0835 ; 1405 ;
摘要
Cloud computing has become an important, useful paradigm for building applications with cloud services. However, cloud services exist in heterogeneous environments on the Internet. It is challenging to guarantee the reliability of cloud applications. Although there are efforts studying cloud and grid service reliability, very few have considered the modeling and analysis of the reliability of cloud applications. To address this emerging, important problem, we propose the first systematic approach that considers both cloud application elements and their running environment so as to faithfully model the dynamics of cloud computing. First, we present a formal description language to model the different components of a cloud application, and use it to analyze the static and dynamic factors a reflecting the reliability of cloud applications. Second, we propose reliability assurance strategies to ensure that cloud applications dynamically meet their required reliability. Third, Computation Tree Logic (CTL) is used to convert the reliability assurance strategy into the CTL formulas. We present operational semantics and related theories of Petri nets for establishing the correctness of our proposed method. Finally, a series of simulations are performed to evaluate the efficiency of our proposed approach.
引用
收藏
页码:273 / 305
页数:33
相关论文
共 50 条
  • [1] Formally Modeling and Analyzing the Adaptive Resource Management for Cloud Applications
    Chen, Liqiong
    Fan, Guisheng
    Yu, Huiqun
    [J]. JOURNAL OF INTERNET TECHNOLOGY, 2017, 18 (05): : 1003 - 1015
  • [2] Formally Modeling and Analyzing the Reliability of Composite Service Evolution
    Fan, Guisheng
    Chen, Liqiong
    Yu, Huiqun
    Liu, Dongmei
    [J]. PROCEEDINGS 2015 INTERNATIONAL SYMPOSIUM ON THEORETICAL ASPECTS OF SOFTWARE ENGINEERING, 2015, : 87 - 94
  • [3] An Approach to Modeling and Analyzing Reliability for Microservice-Oriented Cloud Applications
    Liu, Zheng
    Fan, Guisheng
    Yu, Huiqun
    Chen, Liqiong
    [J]. WIRELESS COMMUNICATIONS & MOBILE COMPUTING, 2021, 2021
  • [4] Formally modeling and analyzing cost-aware job scheduling for cloud data center
    Fan, Guisheng
    Chen, Liqiong
    Yu, Huiqun
    Liu, Dongmei
    [J]. SOFTWARE-PRACTICE & EXPERIENCE, 2018, 48 (09): : 1536 - 1559
  • [5] Formally Modeling and analyzing a secure mobile agent finder
    Ding, JH
    Dai, ZF
    Wang, JC
    He, XD
    [J]. INTERNATIONAL CONFERENCE ON SYSTEMS, MAN AND CYBERNETICS, VOL 1-4, PROCEEDINGS, 2005, : 47 - 52
  • [6] Reliability of Cloud-Based Applications
    Hong Thai Tran
    Feuerlicht, George
    [J]. SERVICE-ORIENTED AND CLOUD COMPUTING, (ESOCC 2016), 2016, 9846 : 235 - 247
  • [7] A Reliability Assessment Framework for Cloud Applications
    Wang, Xiaowei
    Grabowski, Jens
    [J]. CLOUD COMPUTING 2015: THE SIXTH INTERNATIONAL CONFERENCE ON CLOUD COMPUTING, GRIDS, AND VIRTUALIZATION, 2015, : 127 - 130
  • [8] Modeling and Testing of Cloud Applications
    Chan, W. K.
    Mei, Lijun
    Zhang, Zhenyu
    [J]. 2009 IEEE ASIA-PACIFIC SERVICES COMPUTING CONFERENCE (APSCC 2009), 2009, : 107 - +
  • [9] Modeling and Analyzing Power System Failures on Cloud Services
    Rosendo, Daniel
    Endo, Patricia Takako
    Santos, Guto Leoni
    Gomes, Demis Moacir
    Goncalves, Glauco
    Moreira, Andre
    Kelner, Judith
    Sadok, Djamel
    Mahloo, Mozhgan
    [J]. 2017 13TH INTERNATIONAL CONFERENCE ON NETWORK AND SERVICE MANAGEMENT (CNSM), 2017,
  • [10] Availability and Reliability Modeling of Mobile Cloud Architectures
    Araujo, Jean
    Oliveira, Danilo
    Matos, Rubens
    Alves, Gabriel
    Maciel, Paulo
    [J]. IEEE TRANSACTIONS ON INDUSTRIAL INFORMATICS, 2023, : 1 - 13