%0 Journal Article
%T 性能评价形式化方法的现状和发展
%A 林闯
%A 李雅娟
%A 王忠民
%J 电子学报
%P 1917-1922
%D 2002
%X 性能评价(PerformanceEvaluation,PE)是计算机网络和计算机系统研究与应用的重要理论基础和支撑技术,也是当今通信和计算机科学领域的重要研究方向.本文对性能评价的形式化方法(FormanMethods,FM)、该领域的主要研究成果和发展前景进行了综述.文章着重介绍了FM中的三种方法:排队论(QueuingTheory)、随机Petri网(StochasticPetri—Net,SPN)和随机进程代数(StochasticProcessAlgebra,SPA).另外,本文还对不同方法之间的区别和结合做了初步的讨论.最后对形式化方法做了总结和展望.
%K 性能评价
%K 形式化方法
%K 排队论
%K 随机Petri网
%K 随机进程代数
%U http://www.ejournal.org.cn/CN/abstract/abstract7453.shtml