Empreu aquest identificador per citar o enllaçar aquest ítem:
http://hdl.handle.net/10609/99617
Títol: | Static analysis of complex event processing programs |
Autoria: | García López, Adrián Burgueño Caballero, Lola Vallecillo Moreno, Antonio |
Citació: | García-López, A., Burgueño Caballero, L. & Vallecillo, A. (2018). Static analysis of complex event processing programs. CEUR Workshop Proceedings, 2245(), 498-502. |
Resum: | Complex Event Processing (CEP) provides a mechanism to efficiently correlate and infer conclusions about systems by means of analyzing the events they process. In areas such as the Internet of Things (IoT), Cyber Physical Systems (CPS), system monitoring or data streaming analytics, CEP is able to read events from a data stream and to generate complex events that represent situations of interest to the system owner by means of event patterns. Every time a sequence of events matches a pattern, a complex event is created and added to the data stream. The dependencies among the rules and the possibility of non-confluent behavior of CEP rulebased systems may lead to unexpected outputs when executing CEP programs. In this work, we show how to statically check and correct two particular properties of CEP systems: rule acyclicity and rule race conditions. We use Esper EPL as a CEP language, and present a tool we have developed to perform these analyses. |
Paraules clau: | Complex Event Processing Esper EPL Static Analysis Rule Acyclicity Rule Race Conditions |
Tipus de document: | info:eu-repo/semantics/workingPaper |
Versió del document: | info:eu-repo/semantics/publishedVersion |
Data de publicació: | 18-nov-2018 |
Llicència de publicació: | http://creativecommons.org/licenses/by/3.0/es/ |
Apareix a les col·leccions: | Articles |
Arxius per aquest ítem:
Arxiu | Descripció | Mida | Format | |
---|---|---|---|---|
static_analysis.pdf | 890,26 kB | Adobe PDF | Veure/Obrir |
Comparteix:
Els ítems del Repositori es troben protegits per copyright, amb tots els drets reservats, sempre i quan no s’indiqui el contrari.