Formal algebraic description of a fog computing environment

Authors

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

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

Conference / event

VI Jornadas Doctorales de la Universidad de Murcia, June 2021 (Virtual)

Poster summary

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.

Keywords

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

Research areas

Mathematics, Computer and Information Science

References

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.

Funding

No data provided

Supplemental files

No data provided

Additional information

Competing interests

No competing interests were disclosed.

Data availability statement

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

Creative Commons license

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.