.png){kind=icon}
返回
Statistical Model Checking-Based Evaluation and Optimization for Cloud Workflow Resource Allocation
.png){kind=icon}
OA
AI
DOI：10.1109/TCC.2016.2586067.png)
.png){kind=icon}
.png){kind=icon}
分享.png){kind=icon}
收藏
摘要
En 中文
Due to the existence of resource variations, it is very challenging for Cloud workflow resource allocation strategies to guarantee a reliable Quality of Service (QoS). Although dozens of resource allocation heuristics have been developed to improve the QoS of Cloud workflow, it is hard to predict their performance under variations because of the lack of accurate modeling and evaluation methods. So far, there is no comprehensive approach that can quantitatively reason the capability of resource allocation strategies or enable the tuning of parameters to optimize resource allocation solutions under variations. To address the above problems, this paper proposes a novel framework that can evaluate and optimize resource allocation strategies effectively and quantitatively. By using the statistical model checker UPPAAL-SMC and supervised learning approaches, our framework can: i) conduct complex QoS queries on resource allocation instances considering resource variations; ii) make quantitative and qualitative comparisons among resource allocation strategies; iii) enable the tuning of parameters to improve the overall QoS; and iv) support the quick optimization of overall workflow QoS under customer requirements and resource variations. The experimental results demonstrate that our automated framework can support both the Service Level Agreement (SLA) negotiation and workflow resource allocation optimization efficiently.
Keyword:
Resource management
Cloud computing
Quality of service
Optimization
Software as a service
Stochastic processes
Unified modeling language
Cloud computing
statistical model checking
optimization
resource allocation strategy
service level agreement
AI总结
对已上传原文的论文进行重点信息的提取，主要内容包括：简要概述、研究摘要、背景介绍、关键亮点、图文解析、展望与总结。
期刊
I
IF:
5
论文数:
1.9K
被引数:
4.3K
机构
引用论文
SEASONAL VARIATION IN ACTIVITY PATTERNS OF JUVENILE LILAC-CROWNED PARROTS IN TROPICAL DRY FORESTOAAI
OAAI分享收藏Are Artificial Bird Nests Effective Surrogates for Estimating Predation on Real Bird Nests? A Test With Tropical Birds.png)
The AukOAAI
The AukIF0
OAAI分享收藏分享收藏A facile one-pot green synthesis of gold nanoparticle-graphene-PEDOT:PSS nanocomposite for selective electrochemical detection of dopamineRSC AdvancesOAAI
RSC AdvancesIF0
OAAI分享收藏
查看更多内容