计算机工程与设计
計算機工程與設計
계산궤공정여설계
COMPUTER ENGINEERING AND DESIGN
2009年
19期
4579-封3
,共1页
服务组合%性能评价进程代数%性能建模%性能分析%形式化方法
服務組閤%性能評價進程代數%性能建模%性能分析%形式化方法
복무조합%성능평개진정대수%성능건모%성능분석%형식화방법
当前对于组合服务的分析主要侧重在功能方面,缺乏有效地进行性能分析的手段和工具.针对此问题,提出一种基于PEPA(performance evaluation process algebra)的组合服务性能建模与评价方法.基于服务组合图对组合服务中原子服务的交互行为进行分析,证明了组合服务和PEPA模型是同构的.给出组合服务和PEPA的映射规则,并建立服务组合的性能模型.提出组合服务性能建模和分析方法.实践结果表明该方法更加简单、有效,易于工程实现.
噹前對于組閤服務的分析主要側重在功能方麵,缺乏有效地進行性能分析的手段和工具.針對此問題,提齣一種基于PEPA(performance evaluation process algebra)的組閤服務性能建模與評價方法.基于服務組閤圖對組閤服務中原子服務的交互行為進行分析,證明瞭組閤服務和PEPA模型是同構的.給齣組閤服務和PEPA的映射規則,併建立服務組閤的性能模型.提齣組閤服務性能建模和分析方法.實踐結果錶明該方法更加簡單、有效,易于工程實現.
당전대우조합복무적분석주요측중재공능방면,결핍유효지진행성능분석적수단화공구.침대차문제,제출일충기우PEPA(performance evaluation process algebra)적조합복무성능건모여평개방법.기우복무조합도대조합복무중원자복무적교호행위진행분석,증명료조합복무화PEPA모형시동구적.급출조합복무화PEPA적영사규칙,병건립복무조합적성능모형.제출조합복무성능건모화분석방법.실천결과표명해방법경가간단、유효,역우공정실현.
