【摘要】 性能评价(Performance Evaluation,PE)是计算机网络和计算机系统研究与应用的重要理论基础和支撑技术,也是当今通信和计算机科学领域的重要研究方向.本文对性能评价的形式化方法(Forman Methods,FM)、该领域的主要研究成果和发展前景进行了综述.文章着重介绍了FM中的三种方法:排队论(Queuing Theory)、随机Petri网(Stochastic Petri—Net,SPN)和随机进程代数(Stochastic Process Algebra,SPA).另外,本文还对不同方法之间的区别和结合做了初步的讨论.最后对形式化方法做了总结和展望.更多还原

【Abstract】 Performance evaluation is an important theoretical base and support for researches and applications of computer network and system. And it s also an important research direction in communications and computer science. This is a concise overview paper about formal methods for performance evaluation, main research results and development foreground. In this paper we focus on the three methods of FM: Queuing Theory, Stochastic Petri-Net and Stochastic Process Algebra. And we primarily discuss the combinations of different formal methods. At the end of this paper we summarize formal methods for performance evaluation and open up prospects for this area.更多还原