基于PEPA的组合服务性能建模与分析

摘要：

当前对于组合服务的分析主要侧重在功能方面,缺乏有效地进行性能分析的手段和工具.针对此问题,提出一种基于PEPA(performance evaluation process algebra)的组合服务性能建模与评价方法.基于服务组合图对组合服务中原子服务的交互行为进行分析,证明了组合服务和PEPA模型是同构的.给出组合服务和PEPA的映射规则,并建立服务组合的性能模型.提出组合服务性能建模和分析方法.实践结果表明该方法更加简单、有效,易于工程实现.

关键词：服务组合、性能评价进程代数、性能建模、性能分析、形式化方法

所属期刊栏目：30

分类号：TP391(计算技术、计算机技术)

资助基金：安徽省高校省级自然科学研究基金项目KJ20078308ZC

在线出版日期：2009-11-30（万方平台首次上网日期，不代表论文的发表时间）

页数：共3页

页码：4579-封3