摘要： 运用成熟的队列理论知识，通过PRISM模型验证工具，对发布/订阅模式的实时性能进行形式化分析。实验结果表明，发布/订阅模式在消息响应时间及消息传输可靠性两方面比传统的通信模式表现出更良好的性能，该实验模型和实验方法对于优化发布/订阅模式及调整实际发布/订阅系统中的参数配置都有一定的帮助。
关键词:
发布/订阅,
队列理论,
实时性,
形式化分析
Abstract: 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.
Key words:
publish/subscribe,
queuing theory,
real-time,
formal analysis
中图分类号:
刘旭军, 马跃, 于东. 发布/订阅通信模式的实时性能分析与评估[J]. 计算机工程, 2010, 36(20): 229-231.
LIU Xu-Jun, MA Ti, XU Dong. Analysis and Evaluation of Real-time Performance of Publish/Subscribe Communication Mode[J]. Computer Engineering, 2010, 36(20): 229-231.