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

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