进程代数及其在性能评价中的应用综述

进程代数是描述并发和通信系统的数学工具，形式化好、可操作性好，适合对复杂系统进行模型分析。本文从进程代数在计算机系统性能评价中的应用的角度对相关研究进行综述，对在此基础上开发新的形式化工具以及分析现有系统都具有指导意义。首先以CCS和PEPA为例介绍基本进程代数向随机进程代数的演进；然后阐述使用随机进程代数进行性能分析的方法，重点分析了模型简化的技术；比较了进程代数与其他性能评价方法的优缺点。

Process Algebra and Application of It in Performance Evaluation

Process Algebra is a powerful tool to model and analyze concurrent systems and communicating systems, especially the complex ones, with good formalization and maneuverability. This paper presents a survey of Process Algebra by view of its use in performance evaluation, and provides instructive meaning to both the design of new formalizing tools and the modeling of real systems. First, the evolving process of Process Algebra is introduced by example of CCS and PEPA. Then the way of-evaluating performance is given and the method of model simplification is emphatically analyzed. Finally, the virtue of Process Algebra is compared with Queuing Theory and Stochastic Petri Net.