|
Redundancy and Synchronization Scheme
of Hyounkyoung
Kim and Daekeun Jeon+ CNS/ATM Team of Satellite Navigation -
Application Technology R&D Center Korea Aerospace Research Institute,
Daejeon, Korea {kimhk, bigroot}@kari.re.kr
Abstract Complex mobile Web services can be provided from the mobile host through the development of Mobile Host Web service Framework (MHWF). However, the constraints of mobile resources may affect the core functionality of this device. Therefore, applying the distribution mechanisms to MHWF allows running more complex services in a light weight manner. Fragmentation, orchestration and federation are the main three used distribution mechanisms in this approach. These set of mechanisms, depends on the REST characteristics and HTTP methods to enhance service distribution. A general structure for the developed service logic has also been defined to facilitate tasks offloading. Verifying the correctness of the deployed Web service is carried out analytically based on formal methods. This is complemented with an empirical validation of the feasibility of the system through proof of concept prototype implementation. Keywords: decomposing mobile Web services,
distributed mobile Web service provision, orchestrating mobile Web services,
RESTful-based mobile Web services +: Corresponding author: Daekeun
Jeon |