性能评价形式化方法的现状和发展  

Status and Development of Formal Methods for Performance Evaluation

作　　者：林闯[1] 李雅娟[1] 王忠民[2] 

机构地区：[1]清华大学计算机科学与技术系,北京100084 [2]北京科技大学计算机系,北京100083

出　　处：《电子学报》2002年第12A期1917-1922,共6页Acta Electronica Sinica

基　　金：国家重点基础研究发展规划(973计划)项目(No.G1999032707);国家自然科学基金(No.90104002;60173012);国家高技术研究发展计划(863计划)课题(No.2001AA112080;No.2001NA411040);清华大学信息学院985基础创新研究基金

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

关 键 词：形式化方法 排队论 随机PETRI网 随机进程代数 计算机网络 PE 性能评价 现状 

分 类 号：TP393[自动化与计算机技术—计算机应用技术] TP303[自动化与计算机技术—计算机科学与技术]