Mobile Cloud Computing for Providing Complex Mobile Web Services

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.