Abstract
SummaryA mobile cloud computing paradigm supports different resource‐intensive mobile applications by leasing various mobile cloud services, thus helping these applications to overcome the inherent shortcomings of mobile ∕ portable devices of end users. However, mobile cloud services in existing architectures become tightly coupled with mobile applications during servicing, which is highly undesirable because of the dynamic nature of the mobile cloud computing paradigm. A new mobile cloud architecture, where the interactions between mobile applications and mobile cloud services are decoupled during service invocation and delivery phases, is proposed in this paper. The tuple space model is used in this architecture to decouple such interactions, thereby improving adaptability and robustness of mobile cloud computing. This paper also suggests an approach of modeling and formally verifying the correctness of the proposed architecture, which also validates its adaptability and robustness during interactions between mobile applications and mobile cloud services. The modeling and verification are carried out using the Mobile UNITY model. Copyright © 2014 John Wiley & Sons, Ltd.
Sign-in/Register to access full text options 
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a callMore From: Concurrency and Computation: Practice and Experience
Disclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.
