eprintid: 1831
rev_number: 12
eprint_status: archive
userid: 40
dir: disk0/00/00/18/31
datestamp: 2013-10-14 08:27:15
lastmod: 2013-10-14 08:27:15
status_changed: 2013-10-14 08:27:15
type: conference_item
metadata_visibility: no_search
creators_name: Amoretti, Michele
creators_name: Grazioli, Alessandro
creators_name: Senni, Valerio
creators_name: Tiezzi, Francesco
creators_name: Zanichelli, Francesco
creators_id: 
creators_id: 
creators_id: valerio.senni@imtlucca.it
creators_id: francesco.tiezzi@imtlucca.it
creators_id: 
title: Towards a Formal Approach to Mobile Cloud Computing
ispublished: submitted
subjects: QA75
subjects: QA76
divisions: CSA
full_text_status: none
pres_type: paper
abstract: 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.
date: 2013-09-07
date_type: submitted
event_title: PDP 2014
event_type: conference
refereed: TRUE
citation:   Amoretti, Michele and Grazioli, Alessandro and Senni, Valerio and Tiezzi, Francesco and Zanichelli, Francesco  Towards a Formal Approach to Mobile Cloud Computing.  In: PDP 2014       (Submitted)   (2013)