{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:17:17Z","timestamp":1750306637821,"version":"3.41.0"},"reference-count":33,"publisher":"Association for Computing Machinery (ACM)","issue":"1","license":[{"start":{"date-parts":[[2014,7,15]],"date-time":"2014-07-15T00:00:00Z","timestamp":1405382400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/100000001","name":"National Science Foundation","doi-asserted-by":"publisher","award":["# 0644013 and #0834529"],"award-info":[{"award-number":["# 0644013 and #0834529"]}],"id":[{"id":"10.13039\/100000001","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/100000185","name":"Defense Advanced Research Projects Agency","doi-asserted-by":"publisher","award":["#N11AP20014"],"award-info":[{"award-number":["#N11AP20014"]}],"id":[{"id":"10.13039\/100000185","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":["ACM Trans. Internet Technol."],"published-print":{"date-parts":[[2014,7,15]]},"abstract":"<jats:p>Despite the prognosed use of event correlation techniques for monitoring critical complex infrastructures or dealing with disasters in the physical world, little work exists on making event correlation systems themselves tolerant to failure. Existing systems either provide no guarantees on event deliveries, do not support multicast and thus provide no guarantees across individual processes, or then rely on centralized components or strong assumptions on the infrastructure.<\/jats:p>\n          <jats:p>The FAIDECS system attempts to reconcile strong guarantees with practical performance in the presence of process crash failures. To that end, the FAIDECS system uses an overlay network with specific guarantees aligned with its proposed correlation language and guarantees. However, the language proposed lacks expressivity, and the system itself supports only very specific rigid semantics, incapable of supporting even fundamental features like sliding windows.<\/jats:p>\n          <jats:p>After providing a comprehensive overview of the FAIDECS model and system, this article bridges the gap between strong guarantees and more established correlation languages and systems in several steps. First, we propose alternative semantics for several modules of the FAIDECS matching engine and revisit guarantees. Second, we pinpoint which guarantees are contradicted by which combinations of semantic options. Third, we investigate four correlation languages\u2014StreamSQL, EQL, CEL, and TESLA\u2014showing which semantic options their respective features correspond to in our model, and thus, ultimately, which guarantees of FAIDECS are maintained by which language features.<\/jats:p>","DOI":"10.1145\/2633687","type":"journal-article","created":{"date-parts":[[2014,8,1]],"date-time":"2014-08-01T20:13:24Z","timestamp":1406924004000},"page":"1-27","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":3,"title":["Decentralized Fault-Tolerant Event Correlation"],"prefix":"10.1145","volume":"14","author":[{"given":"Gregory Aaron","family":"Wilkin","sequence":"first","affiliation":[{"name":"Rose-Hulman Institute of Technology, Terre Haute, IN"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Patrick","family":"Eugster","sequence":"additional","affiliation":[{"name":"Purdue University, West Lafayette, IN"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"K. R.","family":"Jayaram","sequence":"additional","affiliation":[{"name":"IBM Thomas J. Watson Research Center, NY"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2014,8,7]]},"reference":[{"key":"e_1_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1007\/s00778-003-0095-z"},{"key":"e_1_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/301308.301326"},{"key":"e_1_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.5555\/645953.675629"},{"key":"e_1_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/1331904.1331907"},{"key":"e_1_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1109\/IPDPS.2012.86"},{"key":"e_1_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.5555\/645953.675641"},{"key":"e_1_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/1247480.1247620"},{"key":"e_1_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/380749.380767"},{"key":"e_1_2_1_9_1","volume-title":"Proceedings of the 20th International Conference on Very Large Data Bases (VLDB'94)","author":"Chakravarthy Sharma","year":"1994","unstructured":"Sharma Chakravarthy , V. Krishnaprasad , Eman Anwar , and S.-K. Kim . 1994 . Composite events for active databases: Semantics, contexts and detection . In Proceedings of the 20th International Conference on Very Large Data Bases (VLDB'94) . Morgan Kaufmann Publishers Inc., San Francisco, CA, 606--617. http:\/\/dl.acm.org\/citation.cfm&quest;id=645920.672994 Sharma Chakravarthy, V. Krishnaprasad, Eman Anwar, and S.-K. Kim. 1994. Composite events for active databases: Semantics, contexts and detection. In Proceedings of the 20th International Conference on Very Large Data Bases (VLDB'94). Morgan Kaufmann Publishers Inc., San Francisco, CA, 606--617. http:\/\/dl.acm.org\/citation.cfm&quest;id=645920.672994"},{"key":"e_1_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/226643.226647"},{"key":"e_1_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/1827418.1827427"},{"key":"e_1_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/1041680.1041682"},{"key":"e_1_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1007\/11687238_38"},{"key":"e_1_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/3149.214121"},{"key":"e_1_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/568522.568525"},{"key":"e_1_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.5555\/645918.672484"},{"key":"e_1_2_1_17_1","volume-title":"Fault-tolerant broadcasts and related problems. Distributed Systems","author":"Hadzilacos Vassos","unstructured":"Vassos Hadzilacos and Sam Toueg . 1993. Fault-tolerant broadcasts and related problems. Distributed Systems ( 2 nd Ed.) ACM Press\/Addison-Wesley Publishing Co. , New York, NY . 97--145. http:\/\/dl.acm.org\/citation.cfm&quest;id=302430.302435 Vassos Hadzilacos and Sam Toueg. 1993. Fault-tolerant broadcasts and related problems. Distributed Systems (2nd Ed.) ACM Press\/Addison-Wesley Publishing Co., New York, NY. 97--145. http:\/\/dl.acm.org\/citation.cfm&quest;id=302430.302435","edition":"2"},{"key":"e_1_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/2335484.2335504"},{"key":"e_1_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICAC.2007.40"},{"key":"e_1_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.14778\/1454159.1454179"},{"volume-title":"Proceedings of the 2nd Conference on Symposium on Networked Systems Design & Implementation (NSDI'05)","author":"Kompella Ramana Rao","key":"e_1_2_1_21_1","unstructured":"Ramana Rao Kompella , Jennifer Yates , Albert Greenberg , and Alex C. Snoeren . 2005. IP fault localization via risk modeling . In Proceedings of the 2nd Conference on Symposium on Networked Systems Design & Implementation (NSDI'05) . USENIX Association, Berkeley, CA, USA, 57--70. http:\/\/dl.acm.org\/citation.cfm&quest;&quest;id=1251203.1251208 Ramana Rao Kompella, Jennifer Yates, Albert Greenberg, and Alex C. Snoeren. 2005. IP fault localization via risk modeling. In Proceedings of the 2nd Conference on Symposium on Networked Systems Design & Implementation (NSDI'05). USENIX Association, Berkeley, CA, USA, 57--70. http:\/\/dl.acm.org\/citation.cfm&quest;&quest;id=1251203.1251208"},{"key":"e_1_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.5555\/646283.687988"},{"key":"e_1_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1007\/11587552_13"},{"key":"e_1_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1007\/11925071_9"},{"key":"e_1_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.5555\/1515915.1515921"},{"key":"e_1_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1145\/2465351.2465353"},{"key":"e_1_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1109\/IPDPS.2009.5161084"},{"key":"e_1_2_1_28_1","volume-title":"Proceedings of the 24th International Conference on Distributed Computing Systems. 562--571","author":"Triantafillou P.","year":"2004","unstructured":"P. Triantafillou and A. Economides . 2004. Subscription summarization: A new paradigm for efficient publish\/subscribe systems . In Proceedings of the 24th International Conference on Distributed Computing Systems. 562--571 . DOI: http:\/\/dx.doi.org\/10.1109\/ICDCS. 2004 .1281623 10.1109\/ICDCS.2004.1281623 P. Triantafillou and A. Economides. 2004. Subscription summarization: A new paradigm for efficient publish\/subscribe systems. In Proceedings of the 24th International Conference on Distributed Computing Systems. 562--571. DOI: http:\/\/dx.doi.org\/10.1109\/ICDCS.2004.1281623"},{"key":"e_1_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jpdc.2012.12.004"},{"key":"e_1_2_1_30_1","doi-asserted-by":"crossref","unstructured":"Gregory Aaron Wilkin Patrick Eugster and K. R. Jayaram. 2014. Decentralized fault tolerant event-correlation. Technical Report. http:\/\/www.jayaramkr.com\/files\/FAIDECSTechReport.pdf.  Gregory Aaron Wilkin Patrick Eugster and K. R. Jayaram. 2014. Decentralized fault tolerant event-correlation. Technical Report. http:\/\/www.jayaramkr.com\/files\/FAIDECSTechReport.pdf.","DOI":"10.1145\/2633687"},{"key":"e_1_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-25821-3_12"},{"key":"e_1_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICDCS.2012.17"},{"key":"e_1_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1145\/383962.384023"}],"container-title":["ACM Transactions on Internet Technology"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2633687","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2633687","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T06:55:56Z","timestamp":1750229756000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2633687"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,7,15]]},"references-count":33,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2014,7,15]]}},"alternative-id":["10.1145\/2633687"],"URL":"https:\/\/doi.org\/10.1145\/2633687","relation":{},"ISSN":["1533-5399","1557-6051"],"issn-type":[{"type":"print","value":"1533-5399"},{"type":"electronic","value":"1557-6051"}],"subject":[],"published":{"date-parts":[[2014,7,15]]},"assertion":[{"value":"2013-10-01","order":0,"name":"received","label":"Received","group":{"name":"publication_history","label":"Publication History"}},{"value":"2014-04-01","order":1,"name":"accepted","label":"Accepted","group":{"name":"publication_history","label":"Publication History"}},{"value":"2014-08-07","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}