Paper Info
Title
Formally Modeling And Analyzing The Reliability Of Cloud Applications
Abstract
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.
Year
DOI
Venue
2016
10.1142/S0218194016500121
INTERNATIONAL JOURNAL OF SOFTWARE ENGINEERING AND KNOWLEDGE ENGINEERING
Keywords
Field
DocType
Cloud computing, reliability, Petri nets, modeling, Computation Tree Logic (CTL)
Computation tree logic,Operational semantics,Petri net,Computer science,Correctness,Grid,Cloud testing,Reliability engineering,The Internet,Cloud computing
Journal
Volume
Issue
ISSN
26
2
0218-1940
Citations 
PageRank 
References 
0
0.34
22
Authors
3
Name
Order
Citations
PageRank
Guisheng Fan19125.45
Huiqun Yu219136.27
Liqiong Chen37519.61