Verification of cloud system elasticity using BigMC

Mahendra Pratap Yadav (), Nisha Pal () and Dharmendra Kumar Yadav ()
Additional contact information
Mahendra Pratap Yadav: MNNIT, Allahabd
Nisha Pal: MNNIT, Allahabd
Dharmendra Kumar Yadav: MNNIT, Allahabd

International Journal of System Assurance Engineering and Management, 2022, vol. 13, issue 5, No 8, 2208-2220

Abstract: Abstract Elasticity is one of the important characteristics of cloud computing used to manage the fluctuating real time workload in the cloud environment. Cloud providers use this approach to perform resource provisioning or de-provisioning of various computing resources to manage real workload. It is challenging task for cloud providers to implement elasticity strategies for complex system to utilize the computing resources effectively due to the fluctuating nature of workload. To address this challenge, we use the Bigraphical Reactive Systems based approach to formally model the cloud elasticity structure through bigraphs and their dynamic behavior with the help of bigraphical reaction rules. This article focuses on addressing cross-layer elasticity i.e. the elasticity at service and infrastructure level. The system elasticity strategies are described to perform horizontal and vertical scaling of cloud system’s through auto-adaption of behaviors using bigraph formalism. Further, we convert the bigraphical specifications into the framework provided by the BigMC model checker tool for horizontal and vertical scaling and verify their correctness. BigMC is a counter-example based model checking tool, it provides an autonomic executability of the behaviors in the cloud systems.

Keywords: Cloud; Scaling; Elasticity; Bigraphical Reactive Systems; BigMC (search for similar items in EconPapers)
Date: 2022
References: View complete reference list from CitEc
Citations:

Downloads: (external link)
http://link.springer.com/10.1007/s13198-022-01627-z Abstract (text/html)
Access to the full text of the articles in this series is restricted.

Related works:
This item may be available elsewhere in EconPapers: Search for items with the same title.

Export reference: BibTeX RIS (EndNote, ProCite, RefMan) HTML/Text

Persistent link: https://EconPapers.repec.org/RePEc:spr:ijsaem:v:13:y:2022:i:5:d:10.1007_s13198-022-01627-z

Ordering information: This journal article can be ordered from
http://www.springer.com/engineering/journal/13198

DOI: 10.1007/s13198-022-01627-z

Access Statistics for this article

International Journal of System Assurance Engineering and Management is currently edited by P.K. Kapur, A.K. Verma and U. Kumar

More articles in International Journal of System Assurance Engineering and Management from Springer, The Society for Reliability, Engineering Quality and Operations Management (SREQOM),India, and Division of Operation and Maintenance, Lulea University of Technology, Sweden
Bibliographic data for series maintained by Sonal Shukla () and Springer Nature Abstracting and Indexing ().