论文部分内容阅读
在研究传统的发布／订阅消息中间件系统的基础之上，结合Gossip协议的特点来研究发布／订阅消息中间件，最后运用形式化方法，通过PRISM仿真工具，对仿真的模型进行形式化分析．实验结果表明，发布／订阅消息中间件系统的实时性受消息产生速度的影响，在各个订阅者订阅相同消息和不同消息两种情况之下网络特性展现不同的变化，但最终都是随着消息产生速度的增加而减小．可靠性随着消息产生速度的增加而减小，并且订阅者的接收缓存越大可靠性越高，但增幅率会越来越小．该实验模型和实验方法对于发布／订阅消息中间件系统的研究，以及在现实