Premium
Modeling decoupled mobile cloud computing using Mobile UNITY
Author(s) -
De Suddhasil,
De Sohini
Publication year - 2016
Publication title -
concurrency and computation: practice and experience
Language(s) - English
Resource type - Journals
SCImago Journal Rank - 0.309
H-Index - 67
eISSN - 1532-0634
pISSN - 1532-0626
DOI - 10.1002/cpe.3300
Subject(s) - computer science , cloud computing , mobile cloud computing , distributed computing , mobile computing , mobile device , robustness (evolution) , mobile technology , mobile web , computer network , operating system , biochemistry , chemistry , gene
Summary A 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.