Modeling of Reliability in Large Scale Publish/Subscribe Systems
大规模发布／订阅系统中的可靠性模型

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...