Skip to Main content Skip to Navigation
Book sections

Formal Modeling and Verification of Cloud Elasticity with Maude and LTL

Abstract : Elasticity allows Cloud systems to adapt to the demand by (de)provisioning resources as the input workload rises and drops. Given the numerous overlapping factors that impact their elastic behavior, the specification and verification of Cloud elasticity is a particularly challenging task. In this paper, we propose a Maude-based approach to formalize Cloud systems’ elastic behaviors, as a first step towards the verification of their correctness through a LTL (Linear Temporal Logic) state-based model-checking technique.
Complete list of metadatas

https://hal-univ-pau.archives-ouvertes.fr/hal-02417562
Contributor : Khaled Khebbeb <>
Submitted on : Wednesday, December 18, 2019 - 11:47:12 AM
Last modification on : Thursday, March 5, 2020 - 7:20:10 PM

Identifiers

Collections

Citation

Khaled Khebbeb, Nabil Hameurlain, Faiza Belala. Formal Modeling and Verification of Cloud Elasticity with Maude and LTL. Attiogbé C., Ferrarotti F., Maabout S. (eds) New Trends in Model and Data Engineering. MEDI 2019. Communications in Computer and Information Science, vol 1085. Springer, Cham, pp.64-77, 2019, ⟨10.1007/978-3-030-32213-7_5⟩. ⟨hal-02417562⟩

Share

Metrics

Record views

77