%0 Journal Article
%T Modeling of Reliability in Large Scale Publish/Subscribe Systems<br>大规模发布／订阅系统中的可靠性模型
%A DONG Biao
%A CHEN Jin-hui
%A SUN Ya-min
%A <br>董飚
%A 陈金辉
%A 孙亚民
%J 计算机科学
%D 2008
%I 
%X In most large scale Publish/Subscribe systems implemented on top of the internet,the overlay is not reliable.One of the major challenges of pub/sub systems is their reliability and their ability to cope with failures in the system.A formal specication of reliability condition in large scale publish/subscribe systems is described.The specication uses sequential traces and is based on the syntax of linear temporal logic,it also serves as the basis for proving the correctness of the routing algorithms.The Cras...
%K Reliability
%K Trace sequence
%K Crash/recover
%K Routing protocol<br>可靠性
%K 轨迹序列
%K 崩溃/恢复
%K 路由协议
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=64A12D73428C8B8DBFB978D04DFEB3C1&aid=7EDCFE8F21B6EAD1198ACCFDF665B752&yid=67289AFF6305E306&vid=6209D9E8050195F5&iid=9CF7A0430CBB2DFD&sid=DDD31293A7C7D057&eid=EDA22B444205D04A&journal_id=1002-137X&journal_name=计算机科学&referenced_num=0&reference_num=13