Open Access Open Access  Restricted Access Subscription Access

Formally Modeling and Analyzing the Adaptive Resource Management for Cloud Applications

Liqiong Chen,
Guisheng Fan,
Huiqun Yu,


Cloud computing has attracted much interest recently from both industry and academic. However, it is a challenge to enforce resource manages for those applications especially in voluntary-resource cloud due to the heterogeneous and highly dynamic environment. To address this emerging, important problem, we propose a method to model and analyze adaptive resource management for cloud applications. First, resource management process is abstracted as meta-object by using the reflection mechanism, which includes the state assessment, online monitoring, format checking and adaptive recovery. Second, Petri nets are used to construct the base layer model, meta layer model, meta-object protocol and other components, thus forming the resource management model. Third, the operational semantics and related theories of Petri nets help establish the correctness of our proposed method. We have also performed a case study and several simulations to evaluate our proposed approach. Results show that it can help reveal the structural and behavioral characteristics of cloud computing, and manage the resources in cloud application more efficiently.


Cloud computing; Resource management; Adaptive; Petri nets; Reflection mechanism

Citation Format:
Liqiong Chen, Guisheng Fan, Huiqun Yu, "Formally Modeling and Analyzing the Adaptive Resource Management for Cloud Applications," Journal of Internet Technology, vol. 18, no. 5 , pp. 1003-1015, Sep. 2017.

Full Text:



  • There are currently no refbacks.

Published by Executive Committee, Taiwan Academic Network, Ministry of Education, Taipei, Taiwan, R.O.C
JIT Editorial Office, Library and Information Center, National Dong Hwa University
No. 1, Sec. 2, Da Hsueh Rd. Shoufeng, Hualien 97401, Taiwan, R.O.C.
Tel: +886-3-931-7017  E-mail: