首页    期刊浏览 2024年12月05日 星期四
登录注册

文章基本信息

  • 标题:A Strategy-Based Formal Approach for Fog Systems Analysis
  • 本地全文:下载
  • 作者:Souad Marir ; Faiza Belala ; Nabil Hameurlain
  • 期刊名称:Future Internet
  • 电子版ISSN:1999-5903
  • 出版年度:2022
  • 卷号:14
  • 期号:2
  • 页码:52
  • DOI:10.3390/fi14020052
  • 语种:English
  • 出版社:MDPI Publishing
  • 摘要: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.
国家哲学社会科学文献中心版权所有