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

Modeling and evaluation of composite services based on PEPA

作　　者：方光伟[1] 甘诚智[1] 郑啸[2] 

机构地区：[1]宜春学院数学与计算机学院,江西宜春336000 [2]安徽工业大学计算机学院,安徽马鞍山243002

出　　处：《计算机工程与设计》2009年第19期4579-4580,F0003,共3页Computer Engineering and Design

基　　金：安徽省高校省级自然科学研究基金项目(KJ2007B308ZC)

摘　　要：当前对于组合服务的分析主要侧重在功能方面,缺乏有效地进行性能分析的手段和工具。针对此问题,提出一种基于PEPA(performance evaluation process algebra)的组合服务性能建模与评价方法。基于服务组合图对组合服务中原子服务的交互行为进行分析,证明了组合服务和PEPA模型是同构的。给出组合服务和PEPA的映射规则,并建立服务组合的性能模型。提出组合服务性能建模和分析方法。实践结果表明该方法更加简单、有效,易于工程实现。Current research mostly focuses on functional analysis of composite services. However, the issue of how to analyze and evaluate performance of composite services has largely been overlooked. A new PEPA based method for composite service performance modeling and evaluation is presented, which could be used to analyze and evaluate service composition scheme in the stage of system analysis. Firstly, a service composition graph based method is suggested to analysis interactive behaviors among atomic services in a composite service. Isomorphic relation of a composite services and a PEPA mode is proved subsequently. Next, the mapping rule of composite service and PEPA is presented, and performance models ofcomposite service are built. Finally, the whole methods and steps of performance modeling and analysis of composite services are introduced in detail. A case study verifies that the suggested method is more simple, effective and suitable to engineering experience.

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

分 类 号：TP391[自动化与计算机技术—计算机应用技术]