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

注：因版权方要求，不能公开全文，如需全文，请咨询杂志社