Full Text:   <1621>

Summary:  <1573>

CLC number: TP393

On-line Access: 2015-07-06

Received: 2014-11-28

Revision Accepted: 2015-06-07

Crosschecked: 2015-06-12

Cited: 2

Clicked: 4352

Citations:  Bibtex RefMan EndNote GB/T7714


Hong-wu Lv


-   Go to

Article info.
Open peer comments

Frontiers of Information Technology & Electronic Engineering  2015 Vol.16 No.7 P.553-567


Analyzing the service availability of mobile cloud computing systems by fluid-flow approximation

Author(s):  Hong-wu Lv, Jun-yu Lin, Hui-qiang Wang, Guang-sheng Feng, Mo Zhou

Affiliation(s):  College of Computer Science and Technology, Harbin Engineering University, Harbin 150001, China

Corresponding email(s):   lvhongwu@hrbeu.edu.cn

Key Words:  Service availability, Mobile cloud computing, Fluid-flow approximation, Ordinary differential equations

Hong-wu Lv, Jun-yu Lin, Hui-qiang Wang, Guang-sheng Feng, Mo Zhou. Analyzing the service availability of mobile cloud computing systems by fluid-flow approximation[J]. Frontiers of Information Technology & Electronic Engineering, 2015, 16(7): 553-567.

@article{title="Analyzing the service availability of mobile cloud computing systems by fluid-flow approximation",
author="Hong-wu Lv, Jun-yu Lin, Hui-qiang Wang, Guang-sheng Feng, Mo Zhou",
journal="Frontiers of Information Technology & Electronic Engineering",
publisher="Zhejiang University Press & Springer",

%0 Journal Article
%T Analyzing the service availability of mobile cloud computing systems by fluid-flow approximation
%A Hong-wu Lv
%A Jun-yu Lin
%A Hui-qiang Wang
%A Guang-sheng Feng
%A Mo Zhou
%J Frontiers of Information Technology & Electronic Engineering
%V 16
%N 7
%P 553-567
%@ 2095-9184
%D 2015
%I Zhejiang University Press & Springer
%DOI 10.1631/FITEE.1400410

T1 - Analyzing the service availability of mobile cloud computing systems by fluid-flow approximation
A1 - Hong-wu Lv
A1 - Jun-yu Lin
A1 - Hui-qiang Wang
A1 - Guang-sheng Feng
A1 - Mo Zhou
J0 - Frontiers of Information Technology & Electronic Engineering
VL - 16
IS - 7
SP - 553
EP - 567
%@ 2095-9184
Y1 - 2015
PB - Zhejiang University Press & Springer
ER -
DOI - 10.1631/FITEE.1400410

mobile cloud computing (MCC) has become a promising technique to deal with computation- or data-intensive tasks. It overcomes the limited processing power, poor storage capacity, and short battery life of mobile devices. Providing continuous and on-demand services, MCC argues that the service must be available for users at anytime and anywhere. However, at present, the service availability of MCC is usually measured by some certain metrics of a real-world system, and the results do not have broad representation since different systems have different load levels, different deployments, and many other random factors. Meanwhile, for large-scale and complex types of services in MCC systems, simulation-based methods (such as Monte-Carlo simulation) may be costly and the traditional state-based methods always suffer from the problem of state-space explosion. In this paper, to overcome these shortcomings, fluid-flow approximation, a breakthrough to avoid state-space explosion, is adopted to analyze the service availability of MCC. Four critical metrics, including response time of service, minimum sensing time of devices, minimum number of nodes chosen, and action throughput, are defined to estimate the availability by solving a group of ordinary differential equations even before the MCC system is fully deployed. Experimental results show that our method costs less time in analyzing the service availability of MCC than the Markov- or simulation-based methods.

This paper addresses an important problem on the availability of the mobile cloud computing. The authors propose an availability analysis method of MCC based on fluid-flow approximation.


目的:为提供持续性的按需服务,移动云计算系统必须确保在任何时间和任何地点的可用性。然而当系统规模巨大、关联关系复杂时,如何实现移动云计算系统可用性的快速分析,是本领域一项富有挑战性的工作。本文目的是利用最近提出的流近似(fluid-flow approximation)技术来实现一种能应用于移动云计算系统部署之前的、快速的服务可用性分析方法。
方法:定义了包括服务反应时间(response time of service)、节点最小感知时间(minimum sensing time of devices)、最少选取节点数量(minimum number of nodes chosen)、动作吞吐量(action throughput)等四个关键指标。通过上述指标来分析移动云计算系统服务可用性的变化,并对系统初始条件、模型核心参数的影响进行讨论。


Darkslateblue:Affiliate; Royal Blue:Author; Turquoise:Article


[1]Bradley, J.T., Gilmore, S.T., Hillston, J., 2008. Analysing distributed Internet worm attacks using continuous state-space approximation of process algebra models. J. Comput. Syst. Sci., 74(6):1013-1032.

[2]Castiglione, A., Gribaudo, M., Iacono, M., et al., 2014. Exploiting mean field analysis to model performances of big data architectures. Fut. Gener. Comput. Syst., 37:203-211.

[3]Chilwan, A., Undheim, A., Heegaard, P.E., 2011. Effects of dynamic cloud cluster load on differentiated service availability. 21st Int. Conf. on Computer Communications and Networks, p.1-6.

[4]Dinh, H.T., Lee, C., Niyato, D., et al., 2013. A survey of mobile cloud computing: architecture, applications, and approaches. Wirel. Commun. Mob. Comput., 13(18):1587-1611.

[5]Ever, E., Gemikonakli, O., Kocyigit, A., et al., 2013. A hybrid approach to minimize state space explosion problem for the solution of two stage tandem queues. J. Netw. Comput. Appl., 36(2):908-926.

[6]Fernando, N., Loke, S.W., Rahayu, W., 2013. Mobile cloud computing: a survey. Fut. Gener. Comput. Syst., 29(1):84-106.

[7]Fourneau, J.M., Kloul, L., Valois, F., 2002. Performance modelling of hierarchical cellular networks using PEPA. Perform. Eval., 50(2-3):83-99.

[8]Gens, F., Adam, M., Bradshaw, D., et al., 2013. Worldwide and Regional Public IT Cloud Services 2013–2017 Forecast. IDC Market Analysis #242464.

[9]Hayden, R.A., Bradley, J.T., 2008. Fluid semantics for passive stochastic process algebra cooperation. Proc. 3rd Int. ICST Conf. on Performance Evaluation Methodologies and Tools, p.1-10.

[10]Hayden, R.A., Stefanek, A., Bradley, J.T., 2012. Fluid computation of passage-time distributions in large Markov models. Theor. Comput. Sci., 413(1):106-141.

[11]Hillston, J., 2005. Fluid flow approximation of PEPA models. Proc. 2nd Int. Conf. on Quantitative Evaluation of Systems, p.33-42.

[12]Huang, Y., Kintala, C., Kolettis, N., et al., 1995. Software rejuvenation: analysis, module and applications. 25th Int. Symp. on Fault-Tolerant Computing, p.381-390.

[13]Huerta-Canepa, G., Lee, D., 2010. A virtual cloud computing provider for mobile devices. Proc. 1st ACM Workshop on Mobile Cloud Computing & Services: Social Networks and Beyond, Article 6, p.1-5.

[14]Longo, F., Ghosh, R., Naik, K., et al., 2011. A scalable availability model for Infrastructure-as-a-Service cloud. IEEE/IFIP 41st Int. Conf. on Dependable Systems & Networks, p.335-346.

[15]Ou, S., Yang, K., Zhang, J., 2007. An effective offloading middleware for pervasive services on mobile devices. Perv. Mob. Comput., 3(4):362-385.

[16]Qi, H., Gani, A., 2012. Research on mobile cloud computing: Review, trend and perspectives. 2nd Int. Conf. on Digital Information and Communication Technology and Its Applications, p.195-202.

[17]Rishabh, S., Sanjay, K., Munesh, C.T., 2013. Mobile cloud computing: a needed shift from cloud to mobile cloud. 5th Int. Conf. on Computational Intelligence and Communication Networks, p.536-539.

[18]Satyanarayanan, M., 2011. Mobile computing: the next decade. ACM SIGMOBILE Mob. Comput. Commun. Rev., 15(2):2-10.

[19]Singh, G., Kumar, R., 2012. Availability metrics for cloud vibrant behaviour with benchmarks influence on diverse facets. Int. J. Softw. Eng. Appl., 3(1):101-115.

[20]Tribastone, M., 2007. The Pepa Plug-in Project. 4th Int. Conf. on the Quantitative Evaluation of Systems, p.53-54.

[21]Tribastone, M., Gilmore, S., Hillston, J., 2012a. Scalable differential analysis of process algebra models. IEEE Trans. Softw. Eng., 38(1):205-219.

[22]Tribastone, M., Ding, J., Gilmore, S., et al., 2012b. Fluid rewards for a stochastic process algebra. IEEE Trans. Softw. Eng., 38(4):861-874.

[23]Undheim, A., Chilwan, A., Heegaard, P., et al., 2011. Differentiated availability in cloud computing SLAs. 12th IEEE/ACM Int. Conf. on Grid Computing, p.129-136.

[24]Widjajarto, A., Supangkat, S.H., Gondokaryono, Y.S., et al., 2012. Cloud computing reference model: the modelling of service availability based on application profile and resource allocation. Int. Conf. on Cloud Computing and Social Networking, p.1-4.

[25]Wu, L., Garg, S.K., Buyya, R., 2012. SLA-based admission control for a Software-as-a-Service provider in cloud computing environments. J. Comput. Syst. Sci., 78(5):1280-1299.

Open peer comments: Debate/Discuss/Question/Opinion


Please provide your name, email address and a comment

Journal of Zhejiang University-SCIENCE, 38 Zheda Road, Hangzhou 310027, China
Tel: +86-571-87952783; E-mail: cjzhang@zju.edu.cn
Copyright © 2000 - 2022 Journal of Zhejiang University-SCIENCE