Getting to the CORE of Complex Event Recognition (Invited Talk)

Abstract

In this talk, I will give an overview of our recent work on complex event recognition. 2012 ACM Subject Classification Information systems → Query languages for non-relational engines; Information systems → Stream management; Theory of computation → Formal languages and automata theory Abstract Complex Event Recognition (CER for short) refers to the activity of processing high-velocity streams of primitive events by evaluating queries that detect complex events : collections of primitive events that satisfy some pattern. In particular, CER queries match incoming events on the basis of their content; where they occur in the input stream; and how this order relates to other events in the stream. CER has been successfully applied in diverse domains such as maritime monitoring, network intrusion detection, industrial control systems and real-time analytics, among others. In this talk, I will survey our recent work on developing a formal framework for specifying and evaluating CER queries. This framework consist of a formal, core query language called Complex Event Logic (CEL) for specifying CER queries [4]. In contrast to previous proposals, CEL has a compositional and denotational semantics, and encompasses all operators that are considered “common base operators” in the literature. Using CEL, we have been able to get a better understanding of the relative expressiveness of these operators as well as the impact of common evaluation heuristics such as selection policies The framework also consists of an formal computational for CEL,