Subject: ACP, fog computing, IoT, formal protocol specification, networking
Year: 2020
Type: Proceedings
Title: Formal Algebraic Specification of an IoT/Fog Data Centre for Fat Tree or Leaf and Spine architectures
Author: Juan Roig, Pedro
Author: Alcaraz, Salvador
Author: Gilly, Katja
Author: Filiposka, Sonja
Author: Aknin, Noura
Abstract: Fog computing is an evolution of cloud computing paradigm, whose key point is the location of computing resources at the edge of the network. Data center facilities at the fog level are smaller than those at the cloud level, but nevertheless, they may share similar topologies, such as fat tree or leaf and spine architectures. In this paper, a formal algebraic specification of an IoT/Fog environment based on each of both architectures is presented, where users may be moving around and their associated computing assets are meant to migrate among hosts in order to follow their respective users so as to be as close as possible to them.
Publisher: IEEE
Relation: 2020 International Conference on Electrical, Communication, and Computer Engineering (ICECCE)
Identifier: oai:repository.ukim.mk:20.500.12188/25034
Identifier: http://hdl.handle.net/20.500.12188/25034
