relation: http://eprints.imtlucca.it/1839/
title: Towards a formal approach to mobile cloud computing
creator: Amoretti, Michele
creator: Grazioli, Alessandro
creator: Zanichelli, Francesco
creator: Senni, Valerio
creator: Tiezzi, Francesco
subject: QA75 Electronic computers. Computer science
subject: QA76 Computer software
description: 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.
publisher: IEEE
date: 2014-10-21
type: Conference or Workshop Item
type: PeerReviewed
format: application/pdf
language: en
rights: cc_by_nc
identifier: http://eprints.imtlucca.it/1839/1/nam-klaim_main.pdf
identifier:   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)  
relation: http://ieeexplore.ieee.org/xpls/abs_all.jsp?arnumber=6787354
relation: 10.1109/PDP.2014.42