RT Generic
T1 Análisis de Programas de Procesamiento de Eventos Complejos
T2 Analysis of Complex Event Processing Programs
A1 García-López, Adrián
K1 Ingeniería del software
K1 Informática - Trabajos Fin de Grado
K1 Grado en Ingeniería del Software - Trabajos Fin de Grado
AB El procesamiento de eventos complejos (CEP, por sus siglas en inglés: Complex EventProcessing), está ganando aceptación en los entornos distribuidos de tiempo real, al proporcionaruna forma rápida y eficiente de correlacionar e inferir conclusiones sobre eventosque ocurren en tiempo real. Esta tecnología tiene un amplio campo de aplicación comopueden ser el Internet de las Cosas (IoT), monitorización de sistemas o alerta de situacionesde riesgo en infraestructuras sanitarias, entre otras. La característica más importantede estos tipos de programas, es la capacidad de expresar patrones de sucesos sobre loseventos, mediante la definición de reglas. La especificación de estos tipos de patrones serealiza utilizando lenguajes de procesamiento de eventos como Esper, el cual ha sido utilizadoen este proyecto. Es muy importante la correcta especificación de estos patrones yaque de ellos depende el correcto funcionamiento del sistema.Con tal fin, se ha desarrollado una herramienta capaz de analizar dos propiedades quepueden comprobarse estáticamente en las especificación de los programas CEP basadosen reglas: la aciclicidad de las dependencias entre reglas y las condiciones de carrera entrereglas. Ambas características tienen que lidiar con el carácter no determinista de lossistemas basados en reglas.Para el desarrollo de esta herramienta se ha utilizado un enfoque MDSE (Model-DrivenSoftware Engineering). Más concretamente, se ha desarrollado un plug-in capaz de reconocerel lenguaje Esper y obtener como salida una representación en forma de grafo dirigidopara la visualización de los resultados del análisis.
YR 2018
FD 2018-11-28
LK https://hdl.handle.net/10630/16979
UL https://hdl.handle.net/10630/16979
LA spa
DS RIUMA. Repositorio Institucional de la Universidad de Málaga
RD 4 mar 2026