Title :
A Novel Substitution Judgment Method for Mobile Cloud Computing Application System Components
Author :
Peng Wang ; Ling Yang ; Guo Wen Li ; Xin Gao
Author_Institution :
Sch. of Manage., Fudan Univ., Shanghai, China
Abstract :
Mobile cloud computing is a novel computing model, which integrates the cloud computing into the mobile environment and overcomes obstacles related to the performance, environment and security discussed in mobile computing. For a mobile cloud computing application system (MCCS), reliable components substitution is an important issue for troubleshooting and system upgrading. In this paper, this issue is equated to MCCS services substitution based on a service-oriented architecture of MCCS. Further, a formal method for modeling MCCS service is proposed based on space-time Pi-calculus, which is presented through introducing location and time operators into classical Pi-calculus. Then, a decision theorem for MCCS service substitution is put forward according to the relationship between service compatibility and substitution. Finally, a case study is performed to show that how to apply this method to ensure MCCS components substitution. The experiment result shows that it is reasonable and feasible.
Keywords :
cloud computing; mobile computing; pi calculus; service-oriented architecture; MCCS service substitution; decision theorem; formal method; location operator; mobile cloud computing application system components; reliable components substitution; service compatibility-substitution relationship; service-oriented architecture; space-time pi-calculus; substitution judgment method; time operator; Actuators; Benchmark testing; Business; Cloud computing; Computer architecture; Mobile communication; Vehicles; Mobile cloud computing; Pi-calculus; service oriented architecture; service substitution;
Conference_Titel :
Cloud Computing Technology and Science (CloudCom), 2014 IEEE 6th International Conference on
Conference_Location :
Singapore
DOI :
10.1109/CloudCom.2014.43