摘要
现代通信网络系统中大量存在的各种并发同步事件,使得系统的性能特征与其功能特征密切相关,该类系统进行性能评价时,需要综合其性能模型与功能模型进行分析。由于进程代数具备功能推导和验证能力,通过有效扩展,融合相应的性能参数,可以成为理想的针对并发系统的性能建模工具。综述了进程代数的发展历史,并总结了将进程代数应用于性能评价的有效扩展方法,通过实例论述了进程代数应用于性能评价的一般过程。最后,讨论了基于进程代数的系统性能评价方法的发展趋势。
出处
《软件导刊》
2015年第2期25-27,共3页
Software Guide
基金
海军工程大学自然科学基金(435517D50)
湖北省自然科学基金(2013CFB441)
信息保障技术重点实验室开放基金(KJ-13-106)
