用PTA模型形式化分析基于Gossip协议的发布/订阅系统

• 作者: 沈思铭
• 来源期刊: 计算机系统应用
• 关键词: 发布/订阅 概率时间自动机(PTA) Gossip协议 形式化分析 PRISM
• 年，卷（期）: 2012,（12）
• 页码范围: 60-66
• 字数: 7161字
• 语种: 中文

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	沈思铭	同济大学计算机科学与技术系	1	0	0.0	0.0