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

摘要：

运用成熟的队列理论知识,通过PRISM 模型验证工具,对发布/订阅模式的实时性能进行形式化分析.实验结果表明,发布/订阅模式在消息响应时间及消息传输可靠性两方面比传统的通信模式表现出更良好的性能,该实验模型和实验方法对于优化发布/订阅模式及调整实际发布/订阅系统中的参数配置都有一定的帮助.

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

所属期刊栏目：36

分类号：N945(系统科学)

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

在线出版日期：2010-12-21（万方平台首次上网日期，不代表论文的发表时间）

页数：共3页

页码：229-231