A Formal Framework for Complex Event Recognition

Simple item page
dc.contributor.authorGrez, Alejandro
dc.contributor.authorRiveros, Cristian
dc.contributor.authorUgarte, Martin
dc.contributor.authorVansummeren, Stijn
dc.date.accessioned2025-01-20T22:04:15Z
dc.date.available2025-01-20T22:04:15Z
dc.date.issued2021
dc.description.abstractComplex event recognition (CER) has emerged as the unifying field for technologies that require processing and correlating distributed data sources in real time. CER finds applications in diverse domains, which has resulted in a large number of proposals for expressing and processing complex events. Existing CER languages lack a clear semantics, however, which makes them hard to understand and generalize. Moreover, there are no general techniques for evaluating CER query languages with clear performance guarantees.
dc.description.abstractIn this article, we embark on the task of giving a rigorous and efficient framework to CER. We propose a formal language for specifying complex events, called complex event logic (CEL), that contains the main features used in the literature and has a denotational and compositional semantics. We also formalize the so-called selection strategies, which had only been presented as by-design extensions to existing frameworks. We give insight into the language design trade-offs regarding the strict sequencing operators of CEL and selection strategies.
dc.description.abstractWith a well-defined semantics at hand, we discuss how to efficiently process complex events by evaluating CEL formulas with unary filters. We start by introducing a formal computational model for CER, called complex event automata (CEA), and study how to compile CEL formulas with unary filters into CEA. Furthermore, we provide efficient algorithms for evaluating CEA over event streams using constant time per event followed by output-linear delay enumeration of the results.
dc.fuente.origenWOS
dc.identifier.doi10.1145/3485463
dc.identifier.eissn1557-4644
dc.identifier.issn0362-5915
dc.identifier.urihttps://doi.org/10.1145/3485463
dc.identifier.urihttps://repositorio.uc.cl/handle/11534/94073
dc.identifier.wosidWOS:000728453500004
dc.issue.numero4
dc.language.isoen
dc.revistaAcm transactions on database systems
dc.rightsacceso restringido
dc.subjectComplex event recognition
dc.subjectcomplex event processing
dc.subjectstreaming evaluation
dc.subjectconstant delay enumeration
dc.titleA Formal Framework for Complex Event Recognition
dc.typeartículo
dc.volumen46
sipa.indexWOS
sipa.trazabilidadWOS;2025-01-12
Files
Collections
Artículos de revistas