文献类型：期刊文章

作　　者：杨进[1] 张小彬[1] 严博[2] 陈璐[2]

机构地区：[1]海军南海舰队司令部,广东湛江524001 [2]海军工程大学信息安全系,湖北武汉430033

出　　处：《软件导刊》

基　　金：海军工程大学自然科学基金(435517D50);湖北省自然科学基金(2013CFB441);信息保障技术重点实验室开放基金(KJ-13-106)

年　　份：2015

卷　　号：14

期　　号：2

起止页码：25-27

语　　种：中文

收录情况：普通刊

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

关 键 词：进程代数 并发系统 性能评价 标记转移系统  随机过程  

分 类 号：TP302]