@InProceedings{Campaillaetal:2001:BDDFiltering, title = "Efficient filtering in publish-subscribe systems using binary decision diagrams", author = "Alexis Campailla and Sagar Chaki and Edmund Clarke and Somesh Jha and Helmut Veith", booktitle = "Proceedings of the 23rd International Conference on Software Engineering ({ICSE} 2001)", address = "Toronto, Canada", year = "2001", pages = "443--452", month = may, URL = "http://ieeexplore.ieee.org/xpls/abs_all.jsp?arnumber=919117", 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.", topic = "Routing and Matching", doi = "10.1109/ICSE.2001.919117", ISSN = "0270-5257", modified = "0", }