Mobile Cloud Computing for Providing Complex Mobile Web Services

Author

AlShahwan, Feda ; Faisal, Mohammad

Author_Institution

Coll. of Technol. Studies, Public Authority for Appl. Educ., Kuwait

fYear

2014

fDate

8-11 April 2014

Firstpage

77

Lastpage

84

Abstract

Simple Web services can be provided directly from one mobile device acting as a server. However, complex services need a mobile cloud to provide computing resources and infrastructure to support seamless provision of its Web services in a light weight manner. Our approach focuses on the architecture of this mobile cloud, which consists of a set of collaborative mobile devices that relies on an Extended Mobile Host Complex Web service Framework (EMHCWF). The main building blocks of EMHCWF with their associated distributed mechanisms are defined and tested experimentally. Furthermore, the safety properties of mobile cloud infrastructure have been validated using formal methods that are based on process algebra.

Keywords

Web services; cloud computing; formal specification; formal verification; mobile computing; process algebra; EMHCWF framework; Web service provision; computing infrastructure; computing resources; distributed mechanisms; extended mobile host complex Web service framework; formal methods; mobile Web services; mobile cloud computing; mobile cloud infrastructure; process algebra; Cloud computing; Computer architecture; Load modeling; Mobile communication; Mobile computing; Mobile handsets; RESTful-based mobile Web services; decomposing mobile Web services; distributed mobile Web service provision; mobile cloud computing; orchestrating mobile Web services;

fLanguage

English

Publisher

ieee

Conference_Titel

Mobile Cloud Computing, Services, and Engineering (MobileCloud), 2014 2nd IEEE International Conference on

Conference_Location

Oxford

Type

conf

DOI

10.1109/MobileCloud.2014.12

Filename

6834948