Bartosz Zieliński, Paweł Maślanka, Pattern Explorer tool for testing CEP patterns

HyperComplex Seminar 15 Sept. 2024 Abstract. Complex event processing (CEP) systems discover in the incoming event stream occurrences of patterns of events (called complex events) which indicate threats, opportunities, or necessity of some action. Suciently complex patterns may become hard to understand, and even simple patterns may contain subtle errors with respect to their intended meaning. We present PatternExplorer tool which compiles patterns (regular language-like) into a non-deterministic automata with variables. Compiled patterns can be matched with streams of events. More importantly, using extended narrowing the tool can generate symbolic event sequences satisfying a pattern. Generated sequences can then be matched with another pattern to check if there are any unintended matching complex events. Of particular note is our ecient representation of skipped events in generated symbolic streams which avoids creation of spurious instances and reduces the search space. A user-friendly web interface provides access to most important functionalities.

• #science_technology
• #computer_science
• #quantum