Skip to main content
U.S. flag

An official website of the United States government

Official websites use .gov
A .gov website belongs to an official government organization in the United States.

Secure .gov websites use HTTPS
A lock ( ) or https:// means you’ve safely connected to the .gov website. Share sensitive information only on official, secure websites.

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

Published

Author(s)

Charif Mahmoudi, Abdella Battou, Fabrice Mourlin

Abstract

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

Keywords

formal definition, migration, mobile, mobile cloud computing, offloading, virtualization, virtual device representation, fog, internet of things

Citation

Mahmoudi, C. , Battou, A. and Mourlin, F. (2018), Formal Definition of Edge Computing: An Emphasis on Mobile Cloud and IoT Composition, The Third IEEE International Conference on Fog and Mobile Edge Computing, Barcelona, -1, [online], https://doi.org/10.1109/FMEC.2018.8364042 (Accessed November 7, 2024)

Issues

If you have any questions about this publication or are having problems accessing it, please contact reflib@nist.gov.

Created June 5, 2018, Updated January 27, 2020