This paper is an introduction to Complex Event Processing (CEP) intended for an practicioners of Runtime Verification. It first describes typical CEP problems, popular tools and their query languages. It then presents BeepBeep 3, an event stream processor that attempts to bridge the gap between RV and CEP. Thanks to BeepBeep’s generic architecture and flexible input language, queries and properties from both fields can be efficiently processed.
CITATION STYLE
Hallé, S. (2016). When RV meets CEP. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 10012 LNCS, pp. 68–91). Springer Verlag. https://doi.org/10.1007/978-3-319-46982-9_6
Mendeley helps you to discover research relevant for your work.