Paper Info
Title
Formal verification of cloud systems elasticity.
Abstract
Cloud computing is a new delivery model based on a simple idea, which consists of providing a set of virtualised resources as on demand services that users can acquire according to their needs in an elastic way. In the context of preserving cloud systems elasticity and ensuring their reliability and consistency, formal methods can be very effective to model cloud systems and verify their inherent properties. Thus, we present in this paper a formal framework for specifying cloud systems and their elasticity methods. Furthermore, to show the usefulness of our BRS-based model, we propose two underlying formal approaches in order to verify the properties of elasticity and plasticity, while the first approach is based on the BigMC model-checker, the second one is based on judicious coupling between Maude language and BRS; in this case, the Maude LTL model-checker performs the verification.
Year
DOI
Venue
2016
10.1504/IJCCBS.2016.081809
International Journal of Critical Computer-Based Systems
Field
DocType
Volume
Model checking,Coupling,On demand,Cloud systems,Computer science,Theoretical computer science,Real-time computing,Formal methods,Elasticity (economics),Distributed computing,Cloud computing,Formal verification
Journal
6
Issue
ISSN
Citations 
4
1757-8779
0
PageRank 
References 
Authors
0.34
11
3
Name
Order
Citations
PageRank
Hamza Sahli1102.93
Faiza Belala24620.89
Chafia Bouanaka3299.30