Logo eprints

Towards a Formal Approach to Mobile Cloud Computing

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)

WarningThere is a more recent version of this item available.
Full text not available from this repository.


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)
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: 14 Oct 2013 08:27
Last Modified: 14 Oct 2013 08:27
URI: http://eprints.imtlucca.it/id/eprint/1831

Available Versions of this Item

Actions (login required)

Edit Item Edit Item