DocumentCode
3781781
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. &
fYear
2015
Firstpage
991
Lastpage
996
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"
Publisher
ieee
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
Type
conf
DOI
10.1109/UIC-ATC-ScalCom-CBDCom-IoP.2015.186
Filename
7518365
Link To Document