Paper Info
Title
A Formal Quantitative Analysis of Elastic Cloud Systems based on PSMaude
Abstract
Cloud computing, with its various extensions, is a significant IT evolution aiming to provide on-demand IT services with an efficient resource usage, but still ensuring service availability and Quality of Service (QoS). Resource elasticity is an effective feature to deal with such issues; it provides the ability to adjust rapidly the deployed resource capacity according to the time-varying workload in order to meet the intended QoS requirements. However relying only on service provider strategies as horizontal and vertical elasticity, seems insufficient to ensure the QoS requirements, since resource usage patterns in Elastic Cloud Systems (ECS) are inherently non-deterministic. This causes difficulties while selecting the elasticity strategy to be applied with respect to QoS parameters. In this paper, we supply solutions for the challenging task of managing ECSs by quantifying the non-determinism on the basis of QoS parameters. Therefore, we define a formal model for specifying cloud systems structure and its dynamics in terms of quality driven elasticity strategies. Besides, a quantitative analysis is performed to evaluate the effectiveness of the proposed model with regard to QoS parameters.
Year
DOI
Venue
2020
10.1016/j.jksuci.2019.11.008
Journal of King Saud University - Computer and Information Sciences
Keywords
DocType
Volume
Cloud Computing,Elasticity,Formal methods,PSMaude,Quantitative verification
Journal
32
Issue
ISSN
Citations 
4
1319-1578
0
PageRank 
References 
Authors
0.34
0
4
Name
Order
Citations
PageRank
Chafia Bouanaka1299.30
Esma Maatougui200.34
Faiza Belala34620.89
Zeghib, N.4124.18