Title :
Formalizing Mobile Cloud Service Migration with Event-B
Author :
Guoping Zhang;Luxi Zhao;Weishan Zhang;Kuiyi Yang;Shouchao Tan
Author_Institution :
Coll. of Comput. &
Abstract :
Service migration is a key feature for mobile cloud, which should run correctly before and after the migration. This paper presents our experiences on modeling and verifying service migration with Event-B. We start from the initial Event-B model and conduct model refinement process to complete the service transfer model. Using the capabilities of Event-B, we verified the correctness and reliability of the model. We evaluate our work with a mobile cloud service transfer application and simulate to services transfer process, which shows the effectiveness of our work.
Keywords :
"Mobile communication","Servers","Cloud computing","Context","Computational modeling","Analytical models","Nominations and elections"
Conference_Titel :
Ubiquitous Intelligence and Computing and 2015 IEEE 12th Intl Conf on Autonomic and Trusted Computing and 2015 IEEE 15th Intl Conf on Scalable Computing and Communications and Its Associated Workshops (UIC-ATC-ScalCom), 2015 IEEE 12th Intl Conf on
DOI :
10.1109/UIC-ATC-ScalCom-CBDCom-IoP.2015.186
