NOTICE: Due to a lapse in annual appropriations, most of this website is not being updated. Learn more.

Form submissions will still be accepted but will not receive responses at this time. Sections of this site for programs using non-appropriated funds (such as NVLAP) or those that are excepted from the shutdown (such as CHIPS and NVD) will continue to be updated.

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.

PUBLICATIONS

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
Pub Type
Conferences

Download Paper

https://doi.org/10.1109/FMEC.2018.8364042

Keywords

formal definition, migration, mobile, mobile cloud computing, offloading, virtualization, virtual device representation, fog, internet of things
Information technology, Cloud computing and virtualization, Data and informatics, Networking, Modeling and simulation research and Numerical methods and software

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 October 9, 2025)

Issues

If you have any questions about this publication or are having problems accessing it, please contact [email protected].

Created June 5, 2018, Updated January 27, 2020
Was this page helpful?