基于进程代数的系统性能评价方法综述

• 作者: 严博 张小彬 杨进 陈璐
• 来源期刊: 软件导刊
• 学科: 工学
• 关键词: 进程代数 并发系统 性能评价 标记转移系统 随机过程
• 年，卷（期）: 2015,（2）
• 页码范围: 25-27
• 页数: 3页
• 分类号: TP302
• 字数: 3435字
• 语种: 中文
• DOI: 10.11907/rjdk.143787

摘要

现代通信网络系统中大量存在的各种并发同步事件，使得系统的性能特征与其功能特征密切相关，该类系统进行性能评价时，需要综合其性能模型与功能模型进行分析。由于进程代数具备功能推导和验证能力，通过有效扩展，融合相应的性能参数，可以成为理想的针对并发系统的性能建模工具。综述了进程代数的发展历史，并总结了将进程代数应用于性能评价的有效扩展方法，通过实例论述了进程代数应用于性能评价的一般过程。最后，讨论了基于进程代数的系统性能评价方法的发展趋势。

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	严博	海军工程大学信息安全系	12	65	5.0	7.0
2	陈璐	海军工程大学信息安全系	5	9	2.0	3.0