Formal algebraic description of a fog computing environment

作者

Pedro Juan Roig¹ , Salvador Alcaraz¹ , Katja Gilly¹ , Cristina Bernad¹ , Carlos Juiz²

1. Miguel Hernández University, Spain
2. University of the Balearic Islands, Spain

会议/活动

VI Jornadas Doctorales de la Universidad de Murcia, June 2021 (虚拟会议)

海报摘要

This poster exposes the way to achieve a formal algebraic expression for the movement of virtual machines belonging to users getting from the cloud into a fog computing environment and eventually get back there. Fog facilities are defined as a linear distribution of hosts, characterized as a series of building blocks, which may be sequentially traversed. To start with, a model with just one building block is shown, whose behavior is proved to be equivalent to that of a real system. After that, a model with two building blocks is studied, followed by a model with three building blocks, where the same conclusion is achieved regarding their behaviors. Therefore, the model is extended to have a generic number n of building blocks and its behavior is confronted with that of a real system by means of three generic logic rules inferred out of the previous cases displayed.

关键词

ACP, Fog computing, IoT, Formal algebraic specification, Networking

研究领域

Mathematics, Computer and Information Science

参考文献

1. Alcaraz, S.; Roig, P.J.; Gilly,K.; Filiposka, S.; Aknin, N. Formal Algebraic Description of a Fog/IoT Computing Environment. In Proceedings of the 24th International Conference Electronics 2020, 15-17 June 2020, Palanga, Lithuania
2. Roig, P.J.; Alcaraz, S.; Gilly, K.; Juiz, C. Modelling VM Migration in a Fog Computing Environment. Elektronika Ir Elektrotechnika, Vol. 25(5), 75-81.
3. Roig, P.J.; Alcaraz, S.; Gilly, K.; Juiz, C. Algebraic modelling of a generic Fog scenario for moving IoT devices. Lecture Notes in Networks and Systems (LNNS), Vol. 187, 1-16.

基金

暂无数据

补充材料

暂无数据

附加信息

利益冲突

No competing interests were disclosed.

数据可用性声明

Data sharing not applicable to this poster as no datasets were generated or analyzed during the current study.

知识共享许可协议

Copyright © 2023 Roig et al. This is an open access work distributed under the terms of the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.