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. Keywords Self-adaptation; Orchestration; Fog computing; Cloud computing; Formal methods; Rewriting logic; Linear Temporal Logic; Maude
Complete list of metadata
Contributor : Khaled Khebbeb <>
Submitted on : Tuesday, June 16, 2020 - 4:22:19 PM
Last modification on : Wednesday, June 17, 2020 - 3:14:53 AM

Links full text




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