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

Process Algebra and Application of It in Performance Evaluation

作　　者：郭辉[1] 

机构地区：[1]常熟理工学院软件工程系,常熟215500

出　　处：《微计算机应用》2007年第9期901-905,共5页Microcomputer Applications

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

关 键 词：进程代数 性能评价 模型简化 

分 类 号：TP301[自动化与计算机技术—计算机系统结构]