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

Authors:
Sabyasachi Abadhan;Sohini De;Suddhasil De
Affiliations:
National Institute of Technology, Silchar, Assam, India;Siliguri Institute of Technology, Siliguri, West Bengal, India;Indian Institute of Technology, Guwahati, Assam, India
Venue:
Proceedings of the 6th ACM India Computing Convention
Year:
2013

Citing 10
Cited 0

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)
Modeling mobile IP in mobile UNITY

ACM Transactions on Software Engineering and Methodology (TOSEM)
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
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
Mobile cloud computing: A survey

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

Proceedings of the first international workshop on Mobile cloud computing & networking

Quantified Score

Hi-index	0.00

Visualization

Abstract

Mobile Cloud Computing architecture provides the services of cloud computing to the mobile applications executing in users' mobile/portable devices. By facilitating these applications with the cloud services, it helps to overcome the inherent limitations of mobile/portable devices that are faced by their mobile applications. However, the cloud services in existing architecture become tightly coupled with the mobile applications while delivering the service, which is highly undesirable in the dynamic and unreliable mobile cloud computing paradigm. In this paper, a new mobile cloud computing architecture is proposed, where the mobile applications remain uncoupled from the leased cloud services during the service delivery. In this architecture, the tuple space model is used for uncoupling these interactions. The proposed approach of uncoupling improves the flexibility and efficiency of mobile cloud computing. This paper also suggests an approach for formalizing and reasoning of the proposed architecture, in order to properly validate its flexibility and efficiency while uncoupling the service access and delivery to the mobile applications. The formalization is carried out using Mobile UNITY.