68 Views · 96 Downloads · ☆☆☆☆☆ 0.0

Formal algebraic description of a fog computing environment

PUBLISHED April 25, 2023 (DOI: https://doi.org/10.54985/peeref.2304p4360493)



Pedro Juan Roig1 , Salvador Alcaraz1 , Katja Gilly1 , Cristina Bernad1 , Carlos Juiz2
  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.


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

Research areas

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 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.
Roig, P., Alcaraz, S., Gilly, K., Bernad, C., Juiz, C. Formal algebraic description of a fog computing environment [not peer reviewed]. Peeref 2023 (poster).
Copy citation

Create your own webinar

Interested in hosting your own webinar? Check the schedule and propose your idea to the Peeref Content Team.

Create Now

Ask a Question. Answer a Question.

Quickly pose questions to the entire community. Debate answers and get clarity on the most important issues facing researchers.

Get Started