{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,19]],"date-time":"2025-11-19T09:35:40Z","timestamp":1763544940775,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":49,"publisher":"ACM","license":[{"start":{"date-parts":[[2019,6,24]],"date-time":"2019-06-24T00:00:00Z","timestamp":1561334400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2019,6,24]]},"DOI":"10.1145\/3328905.3329501","type":"proceedings-article","created":{"date-parts":[[2019,6,18]],"date-time":"2019-06-18T12:14:30Z","timestamp":1560860070000},"page":"91-102","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":4,"title":["LEAD"],"prefix":"10.1145","author":[{"given":"Anas","family":"Al Bassit","sequence":"first","affiliation":[{"name":"EURA NOVA, Brussels, Belgium"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sabri","family":"Skhiri","sequence":"additional","affiliation":[{"name":"EURA NOVA, Brussels, Belgium"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Hejer","family":"Ammar","sequence":"additional","affiliation":[{"name":"EURA NOVA Tunisia, Tunis, Tunisia"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2019,6,24]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1007\/s00778-003-0108-y"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/872757.872854"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/3093742.3095106"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/2675743.2771829"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(92)90184-H"},{"volume-title":"2010 11th International Conference on Control Automation Robotics Vision. 848--853","author":"Bhargavi R.","key":"e_1_3_2_1_6_1","unstructured":"R. Bhargavi , V. Vaidehi , P. T. V. Bhuvaneswari , P. Balamuralidhar , and M. G. Chandra . 2010. Complex Event Processing for object tracking and intrusion detection in Wireless Sensor Networks . In 2010 11th International Conference on Control Automation Robotics Vision. 848--853 . R. Bhargavi, V. Vaidehi, P. T. V. Bhuvaneswari, P. Balamuralidhar, and M. G. Chandra. 2010. Complex Event Processing for object tracking and intrusion detection in Wireless Sensor Networks. In 2010 11th International Conference on Control Automation Robotics Vision. 848--853."},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.is.2017.11.005"},{"key":"e_1_3_2_1_8_1","volume-title":"Complex Event Processing (CEP) with Apache Flink. Retrieved","author":"Flink CEP.","year":"2019","unstructured":"Flink CEP. 2018. Complex Event Processing (CEP) with Apache Flink. Retrieved February 5, 2019 from https:\/\/flink.apache.org\/news\/2016\/04\/06\/cep-monitoring.html Flink CEP. 2018. Complex Event Processing (CEP) with Apache Flink. Retrieved February 5, 2019 from https:\/\/flink.apache.org\/news\/2016\/04\/06\/cep-monitoring.html"},{"volume-title":"The Aurora and Borealis Stream Processing Engines","author":"\u00c7etintemel U\u011fur","key":"e_1_3_2_1_9_1","unstructured":"U\u011fur \u00c7etintemel , Daniel Abadi , Yanif Ahmad , Hari Balakrishnan , Magdalena Balazinska , Mitch Cherniack , Jeong-Hyon Hwang , Samuel Madden , Anurag Maskey , Alexander Rasin , Esther Ryvkina , Mike Stonebraker , Nesime Tatbul , Ying Xing , and Stan Zdonik . 2016. The Aurora and Borealis Stream Processing Engines . Springer Berlin Heidelberg , Berlin, Heidelberg , 337--359. U\u011fur \u00c7etintemel, Daniel Abadi, Yanif Ahmad, Hari Balakrishnan, Magdalena Balazinska, Mitch Cherniack, Jeong-Hyon Hwang, Samuel Madden, Anurag Maskey, Alexander Rasin, Esther Ryvkina, Mike Stonebraker, Nesime Tatbul, Ying Xing, and Stan Zdonik. 2016. The Aurora and Borealis Stream Processing Engines. Springer Berlin Heidelberg, Berlin, Heidelberg, 337--359."},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1016\/0169-023X(94)90006-X"},{"key":"e_1_3_2_1_11_1","first-page":"2","article-title":"NiagaraCQ","volume":"29","author":"Chen Jianjun","year":"2000","unstructured":"Jianjun Chen , David J. DeWitt , Feng Tian , and Yuan Wang . 2000 . NiagaraCQ : A Scalable Continuous Query System for Internet Databases. SIGMOD Rec. 29 , 2 (May 2000), 379--390. Jianjun Chen, David J. DeWitt, Feng Tian, and Yuan Wang. 2000. NiagaraCQ: A Scalable Continuous Query System for Internet Databases. SIGMOD Rec. 29, 2 (May 2000), 379--390.","journal-title":"A Scalable Continuous Query System for Internet Databases. SIGMOD Rec."},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/1658185.1658190"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/1827418.1827427"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jss.2012.03.056"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/2187671.2187677"},{"key":"e_1_3_2_1_16_1","unstructured":"Alan Demers Johannes Gehrke Mingsheng Hong Mirek Riedewald and Walker White. 2005. A general algebra and implementation for monitoring event streams. (2005).  Alan Demers Johannes Gehrke Mingsheng Hong Mirek Riedewald and Walker White. 2005. A general algebra and implementation for monitoring event streams. (2005)."},{"volume-title":"Esper enterprise edition website. Retrieved","year":"2019","key":"e_1_3_2_1_17_1","unstructured":"EsperTech. 2006. Esper enterprise edition website. Retrieved February 5, 2019 from http:\/\/www.espertech.com\/ EsperTech. 2006. Esper enterprise edition website. Retrieved February 5, 2019 from http:\/\/www.espertech.com\/"},{"key":"e_1_3_2_1_18_1","volume-title":"Allen and George Ferguson","author":"James","year":"1994","unstructured":"James F. Allen and George Ferguson . 1994 . Actions and Events in Interval Temporal Logic. J. Log. Comput . 4 (10 1994), 531--579. James F. Allen and George Ferguson. 1994. Actions and Events in Interval Temporal Logic. J. Log. Comput. 4 (10 1994), 531--579."},{"key":"e_1_3_2_1_19_1","volume-title":"Stateful Computations over Data Streams. Retrieved","author":"Flink Apache","year":"2019","unstructured":"Apache Flink . 2018. Stateful Computations over Data Streams. Retrieved February 5, 2019 from https:\/\/flink.apache.org\/ Apache Flink. 2018. Stateful Computations over Data Streams. Retrieved February 5, 2019 from https:\/\/flink.apache.org\/"},{"volume-title":"Proceedings of IEEE International Workshop on Research Issues in Data Engineering: Active Databases Systems. 2--9.","author":"Gatziu S.","key":"e_1_3_2_1_20_1","unstructured":"S. Gatziu and K. R. Dittrich . 1994. Detecting composite events in active database systems using Petri nets . In Proceedings of IEEE International Workshop on Research Issues in Data Engineering: Active Databases Systems. 2--9. S. Gatziu and K. R. Dittrich. 1994. Detecting composite events in active database systems using Petri nets. In Proceedings of IEEE International Workshop on Research Issues in Data Engineering: Active Databases Systems. 2--9."},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1145\/568271.223893"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/1376616.1376729"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1016\/0164-1212(90)90074-V"},{"key":"e_1_3_2_1_24_1","volume-title":"Foundations of Complex Event Processing. CoRR abs\/1709.05369","author":"Grez Alejandro","year":"2017","unstructured":"Alejandro Grez , Cristian Riveros , and Mart\u00edn Ugarte . 2017. Foundations of Complex Event Processing. CoRR abs\/1709.05369 ( 2017 ). Alejandro Grez, Cristian Riveros, and Mart\u00edn Ugarte. 2017. Foundations of Complex Event Processing. CoRR abs\/1709.05369 (2017)."},{"key":"e_1_3_2_1_25_1","volume-title":"International Workshop on Principles of Diagnosis 15 (1","author":"Guerraz Bruno","year":"2004","unstructured":"Bruno Guerraz and Christophe Dousson . 2004 . Chronicles Construction Starting from the Fault Model of the System to Diagnose . International Workshop on Principles of Diagnosis 15 (1 2004), 267--289. Bruno Guerraz and Christophe Dousson. 2004. Chronicles Construction Starting from the Fault Model of the System to Diagnose. International Workshop on Principles of Diagnosis 15 (1 2004), 267--289."},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICDE.2008.4497566"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1145\/1516360.1516376"},{"key":"e_1_3_2_1_28_1","volume-title":"Retrieved","author":"Kafka Apache","year":"2015","unstructured":"Apache Kafka . 2015 . Kafka Streams . Retrieved February 19, 2019 from https:\/\/kafka.apache.org\/documentation\/streams\/ Apache Kafka. 2015. Kafka Streams. Retrieved February 19, 2019 from https:\/\/kafka.apache.org\/documentation\/streams\/"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1109\/BDCloud.2014.43"},{"key":"e_1_3_2_1_30_1","first-page":"2003","article-title":"TelegraphCQ: An Architectural Status Report","volume":"26","author":"Krishnamurthy Sailesh","year":"2003","unstructured":"Sailesh Krishnamurthy , Sirish Chandrasekaran , Owen Cooper , Amol Deshpande , Michael J. Franklin , Joseph M. Hellerstein , Wei Hong , Samuel R. Madden , Fred Reiss , and Mehul A. Shah . 2003 . TelegraphCQ: An Architectural Status Report . IEEE DATA ENGINEERING BULLETIN 26 (2003), 2003 . Sailesh Krishnamurthy, Sirish Chandrasekaran, Owen Cooper, Amol Deshpande, Michael J. Franklin, Joseph M. Hellerstein, Wei Hong, Samuel R. Madden, Fred Reiss, and Mehul A. Shah. 2003. TelegraphCQ: An Architectural Status Report. IEEE DATA ENGINEERING BULLETIN 26 (2003), 2003.","journal-title":"IEEE DATA ENGINEERING BULLETIN"},{"volume-title":"Temporal Logic of Programs. EATCS Monographs on Theoretical Computer Science","author":"Kr\u00f6ger Fred","key":"e_1_3_2_1_31_1","unstructured":"Fred Kr\u00f6ger . 1987. Temporal Logic of Programs. EATCS Monographs on Theoretical Computer Science , Vol. 8 . Springer . Fred Kr\u00f6ger. 1987. Temporal Logic of Programs. EATCS Monographs on Theoretical Computer Science, Vol. 8. Springer."},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICEBE.2009.94"},{"key":"e_1_3_2_1_33_1","volume-title":"Exploiting the power of relational databases for efficient stream processing. ERCIM News 2009","author":"Liarou Erietta","year":"2009","unstructured":"Erietta Liarou , Romulo Goncalves , and Stratos Idreos . 2009. Exploiting the power of relational databases for efficient stream processing. ERCIM News 2009 ( 2009 ). Erietta Liarou, Romulo Goncalves, and Stratos Idreos. 2009. Exploiting the power of relational databases for efficient stream processing. ERCIM News 2009 (2009)."},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.5555\/891523"},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1109\/32.464548"},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1145\/133233.129397"},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.5555\/647172.716123"},{"volume-title":"Retrieved","year":"2015","key":"e_1_3_2_1_38_1","unstructured":"RuleCore. 2015 . Complex Event Pattern Detector . Retrieved February 19, 2019 from https:\/\/sourceforge.net\/projects\/rulecore\/ RuleCore. 2015. Complex Event Pattern Detector. Retrieved February 19, 2019 from https:\/\/sourceforge.net\/projects\/rulecore\/"},{"volume-title":"Business Activity Monitoring (BAM)","author":"Schmidt Werner","key":"e_1_3_2_1_39_1","unstructured":"Werner Schmidt . 2013. Business Activity Monitoring (BAM) . Springer-Verlag London . 229--242 pages. Werner Schmidt. 2013. Business Activity Monitoring (BAM). Springer-Verlag London. 229--242 pages."},{"volume-title":"2017 Fourteenth International Conference on Wireless and Optical Communications Networks (WOCN). 1--5.","author":"Shinde P. G.","key":"e_1_3_2_1_40_1","unstructured":"P. G. Shinde and M. M. Dongre . 2017. Traffic congestion detection with complex event processing in VANET . In 2017 Fourteenth International Conference on Wireless and Optical Communications Networks (WOCN). 1--5. P. G. Shinde and M. M. Dongre. 2017. Traffic congestion detection with complex event processing in VANET. In 2017 Fourteenth International Conference on Wireless and Optical Communications Networks (WOCN). 1--5."},{"key":"e_1_3_2_1_41_1","unstructured":"Siddhi. 2016. A stream and complex event processor. https:\/\/wso2.github.io\/siddhi\/ Accessed: 2018-10-22.  Siddhi. 2016. A stream and complex event processor. https:\/\/wso2.github.io\/siddhi\/ Accessed: 2018-10-22."},{"key":"e_1_3_2_1_42_1","volume-title":"Unified Analytics Engine for Big Data. Retrieved","author":"Spark Apache","year":"2019","unstructured":"Apache Spark . 2018. Unified Analytics Engine for Big Data. Retrieved February 5, 2019 from https:\/\/spark.apache.org\/ Apache Spark. 2018. Unified Analytics Engine for Big Data. Retrieved February 5, 2019 from https:\/\/spark.apache.org\/"},{"key":"e_1_3_2_1_43_1","volume-title":"TIBCO BusinessEvents: Event Stream Processing software. Retrieved","author":"TIBCO.","year":"2019","unstructured":"TIBCO. 2013. TIBCO BusinessEvents: Event Stream Processing software. Retrieved February 5, 2019 from https:\/\/docs.tibco.com\/products\/tibco-businessevents-event-stream-processing-5-4-0 TIBCO. 2013. TIBCO BusinessEvents: Event Stream Processing software. Retrieved February 5, 2019 from https:\/\/docs.tibco.com\/products\/tibco-businessevents-event-stream-processing-5-4-0"},{"key":"e_1_3_2_1_44_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.ress.2003.10.013"},{"key":"e_1_3_2_1_45_1","doi-asserted-by":"publisher","DOI":"10.1109\/CSSE.2008.253"},{"key":"e_1_3_2_1_46_1","first-page":"1","volume-title":"2010 2nd International Conference on Signal Processing Systems","volume":"1","author":"Wang Y.","unstructured":"Y. Wang and S. Yang . 2010. High-performance complex event processing for large-scale RFID applications . In 2010 2nd International Conference on Signal Processing Systems , Vol. 1 . V1-127--V 1 - 131 . Y. Wang and S. Yang. 2010. High-performance complex event processing for large-scale RFID applications. In 2010 2nd International Conference on Signal Processing Systems, Vol. 1. V1-127--V1-131."},{"key":"e_1_3_2_1_47_1","doi-asserted-by":"publisher","DOI":"10.1145\/1142473.1142520"},{"key":"e_1_3_2_1_48_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jnca.2010.04.020"},{"key":"e_1_3_2_1_49_1","doi-asserted-by":"publisher","DOI":"10.5555\/846218.847253"}],"event":{"name":"DEBS '19: The 13th ACM International Conference on Distributed and Event-based Systems","sponsor":["SIGMOD ACM Special Interest Group on Management of Data","SIGSOFT ACM Special Interest Group on Software Engineering"],"location":"Darmstadt Germany","acronym":"DEBS '19"},"container-title":["Proceedings of the 13th ACM International Conference on Distributed and Event-based Systems"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3328905.3329501","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3328905.3329501","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T22:33:04Z","timestamp":1750199584000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3328905.3329501"}},"subtitle":["A Formal Specification For Event Processing"],"short-title":[],"issued":{"date-parts":[[2019,6,24]]},"references-count":49,"alternative-id":["10.1145\/3328905.3329501","10.1145\/3328905"],"URL":"https:\/\/doi.org\/10.1145\/3328905.3329501","relation":{},"subject":[],"published":{"date-parts":[[2019,6,24]]},"assertion":[{"value":"2019-06-24","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}