Logo eprints

Towards a formal approach to mobile cloud computing

Amoretti, Michele and Grazioli, Alessandro and Zanichelli, Francesco and Senni, Valerio and Tiezzi, Francesco Towards a formal approach to mobile cloud computing. In: PDP 2014, 12-14 February 2014, University of Turin, Italy pp. 743-750. ISSN 1066-6192. (2014)

This is the latest version of this item.

PDF - Submitted Version
Available under License Creative Commons Attribution Non-commercial.

Download (999kB) | Preview


Mobile cloud computing (MCC) is an emerging paradigm to transparently provide support for demanding tasks on resource-constrained mobile devices by relying on the integration with remote cloud services. Research in this field is starting to tackle the multiple conceptual and technical challenges (e.g., how and when to offload), which are hindering the full realization of MCC. The NAM framework is as a general tool to describe networks of hardware and software autonomic entities, providing or consuming services or resources, that can be applied to MCC scenarios. In this paper, we focus on NAM's features related to the key aspects of MCC, in particular those concerning code mobility capabilities and autonomic offloading strategies. Our first contribution is the definition of a restricted set of mobility actions supporting MCC. The second contribution is a formal semantics for those actions, which allows us to better understand the behavior of MCC systems and paves the way for the application of formal reasoning techniques. As an outcome, we also derive a more precise formalization of the core NAM features, which may contribute to further development of that framework and the related middleware.

Item Type: Conference or Workshop Item (Paper)
Identification Number: 10.1109/PDP.2014.42
Uncontrolled Keywords: Cloud computing, Mobile computing, Software fault tolerance
Subjects: Q Science > QA Mathematics > QA75 Electronic computers. Computer science
Q Science > QA Mathematics > QA76 Computer software
Research Area: Computer Science and Applications
Depositing User: Users 40 not found.
Date Deposited: 20 Nov 2013 16:11
Last Modified: 02 Nov 2015 11:30
URI: http://eprints.imtlucca.it/id/eprint/1839

Available Versions of this Item

Actions (login required)

Edit Item Edit Item