文献类型：期刊文献

英文题名：A Formal Aspect-Oriented Method for Modeling and Analyzing Adaptive Resource Scheduling in Cloud Computing

作者：Fan, Guisheng[1];Yu, Huiqun[1];Chen, Liqiong[2]

机构：[1]E China Univ Sci & Technol, Dept Comp Sci & Technol, Shanghai 200237, Peoples R China;[2]Shanghai Inst Technol, Dept Comp Sci & Informat Engn, Shanghai, Peoples R China

年份：2016

卷号：13

期号：2

起止页码：281

外文期刊名：IEEE TRANSACTIONS ON NETWORK AND SERVICE MANAGEMENT

收录：;EI(收录号：20162702562762);WOS:【SCI-EXPANDED(收录号:WOS:000377714200009)】；

语种：英文

外文关键词：Cloud computing; resource scheduling; CTL; Petri nets; reflection mechanism

摘要：Cloud computing has attracted much interest recently from both industry and academia. However, the scale and highly dynamic nature of cloud application imposes significant new challenges to resource management, and efficient resource scheduling schemes are highly demanded. In this paper, we propose a systematic method to address the reliability, running time, and failure processing of resource scheduling in cloud computing. A reflection mechanism is used to abstract the resource scheduling process as a metaobject. Petri nets are used to construct the base layer model, meta layer model, metaobject protocol, and other components, thus forming the resource scheduling model. The adaptive resource scheduling strategy is converted into CTL formulas, and the properties are analyzed. Meanwhile, an enforcement algorithm is proposed, which can guarantee the correct behavior of cloud computing while meeting the required reliability within deadline constraints. The operational semantics and related theories of Petri nets help prove its effectiveness and correctness. We have also performed a series of simulations to evaluate our approach. Results show that it can help reveal the structural and behavioral characteristics of cloud computing and improve the efficiency of resource management.