The Mobile Cloud Transfer Service Strategy Research Based On Event-B

With the explosion of mobile devices,users are more and more dependent on mobile devices,so it gives birth to the boom of mobile cloud computing.Mobile cloud computing is the development and future of cloud computing,because the mobile cloud computing is based on mobile terminal equipment and mobile terminal has the ordinary PC incomparable advantages,such as providing the user's location information,personal information,etc.According to the instability of mobile network and the complexity of the mobile cloud environment,the mobile cloud computing device node often meet network outages and crash downtime.When some nodes crash,the services deployed in the nodes may be unavailable,at this time we need to shift the services deployed in the nodes as a whole body or we can transfer the user's request to the available services as soon as possible.Due to the overall service migration tends to cause enormous waste of resources,so normally transfer service will be a better way.Firstly,We further study the related technology and principle of mobile cloud computing,then analyze service architecture characteristics of the the current mobile cloud environment,finally learn the formal modeling process and the related theory and set up the experiment environment using the Rodin Event-B Environment(REBE).Secondly,On the basis of Event-B modeling language,we start from the initial model,and after many model refinement process,we complete the service transfer system model.As a whole we use the Event-B authentication mechanism to verify the correctness and reliability of the model.Finally,Through the Event-B model,we design and implement a set of system based on the mobile cloud terminal equipment(experiments using Android devices)service transfer,then we design and validate the related experiment simulation services transfer process.