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

• 作者: 郭辉
• 来源期刊: 微计算机应用
• 学科: 工学
• 关键词: 进程代数 性能评价 模型简化
• 年，卷（期）: 2007,（9）
• 所属期刊栏目: 综述与研究
• 页码范围: 901-905
• 页数: 5页
• 分类号: TP3
• 字数: 4223字
• 语种: 中文
• DOI: 10.3969/j.issn.2095-347X.2007.09.002

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	郭辉	常熟理工学院软件工程系	9	47	4.0	6.0