发布/订阅通信模式的实时性能分析与评估  

Analysis and Evaluation of Real-time Performance of Publish/Subscribe Communication Mode

作　　者：刘旭军[1,2] 马跃[2] 于东[2] 

机构地区：[1]中国科学院研究生院,北京100039 [2]中国科学院沈阳计算技术研究所高档数控国家工程研究中心,沈阳110171

出　　处：《计算机工程》2010年第20期229-231,共3页Computer Engineering

基　　金：科技部国家科技支撑计划基金资助重点项目(2007BAP20B01);中国科学院知识创新工程重要方向基金资助项目(KGCX2-YW-119)

摘　　要：运用成熟的队列理论知识,通过PRISM模型验证工具,对发布/订阅模式的实时性能进行形式化分析。实验结果表明,发布/订阅模式在消息响应时间及消息传输可靠性两方面比传统的通信模式表现出更良好的性能,该实验模型和实验方法对于优化发布/订阅模式及调整实际发布/订阅系统中的参数配置都有一定的帮助。This paper uses a formal analysis method to analyze the publish/subscribe real-time performance by PRISM model checker,which is based on the queuing theory.Experimental results show that publish/subscribe has better performance compared with traditional communication mode in terms of message response time and message transmission reliability.The experimental model and method not only can help improve publish/subscribe,but also have effect on adjusting publish/subscribe system parameter configuration.

关 键 词：发布/订阅 队列理论 实时性 形式化分析 

分 类 号：N945[自然科学总论—系统科学]