大规模PEPA模型非均匀人口的聚合技术
摘要：基于建模的性能分析包括两个主要步骤：模型构建和模型分析。形式化建模技术显著地帮助模型构建，但可能加剧模型分析的困难。特别是在考虑由多个实体复制多次形成大规模群体的大规模系统分析时。这种模型中实体的复制会导致其状态空间呈指数增长，使得精确的随机分析变得计算量昂贵甚至不可行。 在本文中，我们提出了一种新的适用于一类大规模PEPA模型的近似聚合算法。对于给定的模型，该方法快速检查其是否满足语法条件，从而表明可以以高准确性近似解决该模型。如果是这样，就直接从模型描述生成一个聚合的连续时间马尔可夫链(CTMC)。这个CTMC可用于有效地推导出模型中一些群体的近似边际概率分布。在大规模客户端-服务器系统的背景下，我们证明了我们方法的有用性。
作者：Alireza Pourranjbar, Jane Hillston
论文ID：1309.1613
分类：Performance
分类简称：cs.PF
提交时间：2013-09-09