进程代数在性能评价中的应用研究

被引:6
作者
马梁
李明
宋洁
顾军华
机构
[1] 河北工业大学计算机科学与软件学院
关键词
随机进程代数; 性能评价; 性能评价进程代数; 马尔可夫进程; 连续时间马尔可夫链;
D O I
暂无
中图分类号
TP301 [理论、方法];
学科分类号
080201 [机械制造及其自动化];
摘要
介绍了使用随机进程代数作为性能建模的一种方法,着重介绍了Hillston提出的性能评价进程代数(PEPA),主要论述了使用PEPA模型性能评价方法及特点,讨论资源利用率系统性能分析方法,最后归纳了性能评价进程代数(PEPA)研究的应用领域,并对未来研究方向提出了展望.
引用
收藏
页码:35 / 39
页数:5
相关论文
共 4 条
[1]
性能评价形式化方法的现状和发展 [J].
林闯 ;
李雅娟 ;
王忠民 .
电子学报, 2002, (S1) :1917-1922
[2]
随机进程代数与随机Petri网 [J].
林闯 ;
魏丫丫 .
软件学报, 2002, (02) :203-213
[3]
基于随机进程代数的软件体系结构建模与性能评价 [J].
赵会群 ;
徐凌宇 ;
王国仁 ;
高远 .
东北大学学报, 2002, (01) :16-19
[4]
随机Petri网和系统性能评价.[M].林闯著;.清华大学出版社.2005,