Uncoupling in services of mobile cloud computing using tuple space model: design and formal specifications

Authors:
Sohini De;Suddhasil De
Affiliations:
Siliguri Institute of Technology, Siliguri, India;Indian Institute of Technology Guwahati, Guwahati, India
Venue:
Proceedings of the first international workshop on Mobile cloud computing & networking
Year:
2013

Citing 9
Cited 1

Generative communication in Linda

ACM Transactions on Programming Languages and Systems (TOPLAS)
Messaging and queueing using the MQI

Messaging and queueing using the MQI
Mobile UNITY: reasoning and specification in mobile computing

ACM Transactions on Software Engineering and Methodology (TOSEM)
Principled design of the modern Web architecture

ACM Transactions on Internet Technology (TOIT)
The many faces of publish/subscribe

ACM Computing Surveys (CSUR)
A view of cloud computing

Communications of the ACM
Advancing the state of mobile cloud computing

Proceedings of the third ACM workshop on Mobile cloud computing and services
An information-centric architecture for data center networks

Proceedings of the second edition of the ICN workshop on Information-centric networking
Modeling an Enhanced Tuple Space Based Mobile Middleware in UNITY

TRUSTCOM '12 Proceedings of the 2012 IEEE 11th International Conference on Trust, Security and Privacy in Computing and Communications

Uncoupling of mobile cloud computing architecture using tuple space: modeling and reasoning

Proceedings of the 6th ACM India Computing Convention

Quantified Score

Hi-index	0.00

Visualization

Abstract

Mobile Cloud Computing widens the service of existing facility of cloud computing paradigm to user applications executing in mobile/portable devices, called mobile applications. It enables existing cloud services to serve these applications, thereby helps to overcome the inherent limitations of mobile$/$portable devices. However, the use of cloud services in existing architecture require tight coupling between mobile applications and cloud services, which is highly undesirable in dynamic and unreliable mobile cloud computing. A new architecture of mobile cloud computing, where interactions between mobile applications and cloud services will be decoupled, is proposed in this paper. Tuple space model is used for uncoupling these interactions in proposed architecture, improving flexibility and efficiency of mobile cloud computing to a great extent. This paper also suggests an approach of formalizing proposed architecture to depict the uncoupling of service access and delivery to mobile applications. Formalization is carried out using Mobile UNITY.