A Strategy-Based Formal Approach for Fog Systems Analysis

Souad Marir, Faiza Belala and Nabil Hameurlain
Additional contact information
Souad Marir: LIRE Laboratory, TLSI Department, Constantine 2 University, Constantine 25000, Algeria
Faiza Belala: LIRE Laboratory, TLSI Department, Constantine 2 University, Constantine 25000, Algeria
Nabil Hameurlain: LIUPPA Laboratory, Universite de Pau et des Pays de l’Adour, E2S UPPA, LIUPPA, 64000 Pau, France

Future Internet, 2022, vol. 14, issue 2, 1-25

Abstract: Fog systems are a new emergent technology having a wide range of architectures and pronounced needs making their design complex. Consequently, the design of fog systems is crucial, including service portability and interoperability between the various elements of a system being the most essential aspects of fog computing. This article presents a fog system cross-layer architecture as a first step of such a design to provide a graphical and conceptual description. Then, a BiAgents* (Bigraphical Agents) formal model is defined to provide a rigorous description of physical, virtual, and behavioural aspects of Fog systems. Besides, this formalisation is implemented and executed under a Maude strategy system. The proposed approach is illustrated through a case study: an airport terminal Luggage Inspection System (LIS) while checking the correctness of its relevant properties: the portability of data and their interoperability. The integration of the Maude strategies in the rewriting of Fog system states made it possible to guide the execution of the model and its analysis.

Keywords: fog systems; Biagents*; LTL analysis; Maude strategy (search for similar items in EconPapers)
JEL-codes: O3 (search for similar items in EconPapers)
Date: 2022
References: View complete reference list from CitEc
Citations:

Downloads: (external link)
https://www.mdpi.com/1999-5903/14/2/52/pdf (application/pdf)
https://www.mdpi.com/1999-5903/14/2/52/ (text/html)

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:gam:jftint:v:14:y:2022:i:2:p:52-:d:745098

Access Statistics for this article

Future Internet is currently edited by Ms. Grace You

More articles in Future Internet from MDPI
Bibliographic data for series maintained by MDPI Indexing Manager ().