Title :
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
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;
Conference_Titel :
Mobile Cloud Computing, Services, and Engineering (MobileCloud), 2014 2nd IEEE International Conference on
Conference_Location :
Oxford
DOI :
10.1109/MobileCloud.2014.12
