{'fraction_non_alphanumeric': 0.014615384615384615, 'fraction_numerical': 0.0, 'mean_word_length': 5.740932642487047, 'pattern_counts': {'":': 0, '<': 0, '<?xml version=': 0, '>': 0, 'https://': 0, 'lorem ipsum': 0, 'www.': 0, 'xml': 0}, 'pii_count': 0, 'substrings_counts': 0, 'word_list_counts': {'cursed_substrings.json': 0, 'profanity_word_list.json': 0, 'sexual_word_list.json': 0, 'zh_pornsignals.json': 0}}
Uncoupling of mobile cloud computing architecture using tuple space: modeling and reasoning

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.