Skip to Main content Skip to Navigation
Journal articles

A Maude-based rewriting approach to model and verify Cloud/Fog self-adaptation and orchestration

Abstract : In the IoT-Fog-Cloud landscape, IoT devices are connected to numerous software applications in order to fully operate. Some applications are deployed on the Fog layer, providing low-latency access to resource, whilst others are deployed on the Cloud to provide important resource capabilities and process heavy computation. In this distributed landscape, the deployment infrastructure has to adapt to the highly dynamic requirements of the IoT layer. However, due to their intrinsic properties, the Fog layer may lack of providing sufficient amount of resource while the Cloud layer fails ensuring low-latency requirements. In this paper, we present a rewriting-based approach to design and verify the Cloud-Fog self-adaption and orchestration behaviors in order to manage infrastructure reconfiguration towards achieving low-latency and resources quantity trade-offs. We rely of the formal specification language Maude to provide an executable solution of these behaviors basing on the rewriting logic and we express properties with linear temporal logic (LTL) to qualitatively verify the adaptations correctness.KeywordsSelf-adaptation; Orchestration; Fog computing; Cloud computing; Formal methods; Rewriting logic; Linear Temporal Logic; Maude
Complete list of metadata
Contributor : Accord Elsevier CCSD Connect in order to contact the contributor
Submitted on : Monday, July 18, 2022 - 10:53:38 AM
Last modification on : Monday, July 18, 2022 - 10:53:39 AM


Files produced by the author(s)


Distributed under a Creative Commons Attribution - NonCommercial 4.0 International License




Khaled Khebbeb, Nabil Hameurlain, Faiza Belala. A Maude-based rewriting approach to model and verify Cloud/Fog self-adaptation and orchestration. Journal of Systems Architecture, Elsevier, 2020, pp.101821. ⟨10.1016/j.sysarc.2020.101821⟩. ⟨hal-02870377⟩



Record views


Files downloads