Skip to main content
U.S. flag

An official website of the United States government

Dot gov

The .gov means it’s official.
Federal government websites often end in .gov or .mil. Before sharing sensitive information, make sure you’re on a federal government site.


The site is secure.
The https:// ensures that you are connecting to the official website and that any information you provide is encrypted and transmitted securely.

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



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


formal definition, migration, mobile, mobile cloud computing, offloading, virtualization, virtual device representation, fog, internet of things
Created June 5, 2018, Updated January 27, 2020