Formal Algebraic Description of a Fog/IoT Computing Environment

The society is attending to the integration of the IoT technology in many fields related to urban environments, smart homes and industries. The IoT technology is closely related to other emergent technologies such as cloud and fog computing, which provide virtualization services and mobile facilities. For that reason, the development of correct fog/IoT environments contributes to the IoT technology deployment where one of the most important aspects in the cloud/fog/IoT computing is the service mobility between fog and cloud levels. In this paper, we analyse the communication specification of a scenario composed of mobile IoT devices in a fog and cloud computing system. The devices movement implies the migration of their virtualised services along the fog or cloud system. Our system specification is based on Algebra of Communicating Processes. The system behaviour has been specified through formal algebraic rules which are rooted branching bisimilar.