kirancodes.me
To Proof Maintenance & Beyond!

Efficient Filtering in Publish-Subscribe Systems Using Binary Decision

Alexis Campailla, Sagar Chaki, Edmund M. Clarke, Somesh Jha, Helmut Veith

Abstract

Implicit invocation or publish-subscribe has become an important architectural style for large-scale system design and evolution. The publish-subscribe style facilitates developing large-scale systems by composing separately developed components because the style permits loose coupling between various components. One of the major bottlenecks in using publish-subscribe systems for very large scale systems is the efficiency of filtering incoming messages, i.e., matching of published events with event subscriptions. This is a very challenging problem because in a realistic publish subscribe system the number of subscriptions can be large. We present an approach for matching published events with subscriptions which scales to a large number of subscriptions. Our approach uses binary decision diagrams, a compact data structure for representing Boolean functions which has been successfully used in verification techniques such as model checking. Experimental results clearly demonstrate the efficiency of our approach.

BibTeX
@inproceedings{Campailla-al:ICSE01,
  author    = {Alexis Campailla and
               Sagar Chaki and
               Edmund M. Clarke and
               Somesh Jha and
               Helmut Veith},
  title     = {Efficient Filtering in {Publish-Subscribe} Systems Using Binary Decision},
  booktitle = {ICSE},
  pages     = {443--452},
  publisher = {{IEEE} Computer Society},
  year      = {2001},
}

Related papers