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