eprintid: 1839
rev_number: 10
eprint_status: archive
userid: 40
dir: disk0/00/00/18/39
datestamp: 2013-11-20 16:11:59
lastmod: 2015-11-02 11:30:13
status_changed: 2013-11-20 16:11:59
type: conference_item
succeeds: 1831
metadata_visibility: show
creators_name: Amoretti, Michele
creators_name: Grazioli, Alessandro
creators_name: Zanichelli, Francesco
creators_name: Senni, Valerio
creators_name: Tiezzi, Francesco
creators_id: 
creators_id: 
creators_id: 
creators_id: valerio.senni@imtlucca.it
creators_id: francesco.tiezzi@imtlucca.it
title: Towards a formal approach to mobile cloud computing
ispublished: pub
subjects: QA75
subjects: QA76
divisions: CSA
full_text_status: public
pres_type: paper
keywords: Cloud computing, Mobile computing, Software fault tolerance
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: 2014-10-21
date_type: published
publisher: IEEE
pagerange: 743-750
event_title: PDP 2014
event_location: University of Turin, Italy
event_dates: 12-14 February 2014
event_type: conference
id_number: 10.1109/PDP.2014.42
refereed: TRUE
issn: 1066-6192
book_title: 22nd Euromicro International Conference on Parallel, Distributed and Network-Based Processing (PDP), 2014
official_url: http://ieeexplore.ieee.org/xpls/abs_all.jsp?arnumber=6787354
citation:   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)  
document_url: http://eprints.imtlucca.it/1839/1/nam-klaim_main.pdf