Formal Definition of Edge Computing: An Emphasis on Mobile Cloud and IoT Composition

Published: June 05, 2018


Charif Mahmoudi, Abdella Battou, Fabrice Mourlin


Abstract—Mobile cloud computing is an emerging area where two trends come together to compose its major pillars. On one hand, the virtualization affecting the data centers hypervisors. On the other hand, device’s mobility, especially Smart Phones, which proved to be the most effective and convenient tools in human life. This emerging area is then changing the game in terms of mobility of workspaces and the interaction with the connected devices and sensors. This paper provides a formal specification of the Mobile cloud component using the π- calculus. The proposed model defines the mobile cloud component, the virtual device representation, and interaction that leads to application offloading and device composition. This paper describe our contribution that enables the composition of virtual devices from physical devices, sensors, and actuators available on the network. Moreover, we present a model of application offloading and virtual devices networking on mobile clouds. Our architectural model is inspired from the Cloudlet based system. In addition to the formal specifications and architecture this paper presents a case studies showing the structural congruence between a locally executed application and an offloaded version of that same application.
Proceedings Title: The Third IEEE International Conference on Fog and Mobile Edge Computing
Conference Dates: April 23-26, 2018
Conference Location: Barcelona, -1
Pub Type: Conferences


formal definition, migration, mobile, mobile cloud computing, offloading, virtualization, virtual device representation, fog, internet of things
Created June 05, 2018, Updated November 10, 2018