Browsing by Author "Grez Arrau, Alejandro"
Now showing 1 - 2 of 2
Results Per Page
Sort Options
- ItemA framework for complex event processing(2017) Grez Arrau, Alejandro; Riveros Jaeger, Cristian; Pontificia Universidad Católica de Chile. Escuela de IngenieríaComplex Event Processing (CEP) ha surgido como el campo unificador para las tecnologías que requieren procesar y correlacionar en tiempo real datos heterogéneos y distribuidos. CEP tiene aplicaciones en diversas áreas, lo que ha resultado en que haya un gran número de propuestas para procesar eventos complejos. Sin embargo, los sistemas CEP existentes están basados en soluciones ad-hoc que no se sustentan en bases teóricas sólidas, lo que los hace difíciles de entender, extender y generalizar. Además, son presentados generalmente de manera informal como interfaces de programación, y el utilizar cada uno de ellos requiere aprender un conjunto completamente nuevo de conocimientos. En esta tesis buscamos definir un marco riguroso para CEP. Comenzamos proponiendo un lenguaje formal para especificar eventos complejos, llamado CEPL, que contiene los operadores más comunes utilizados en la literatura y el cual tiene semántica simple y denotacional. Además, formalizamos las llamadas estrategias de selección, que son la piedra angular de CEP y en los sistemas existentes son presentadas sólo como extensiones en su diseño. Con la semántica ya definida, estudiamos cómo evaluar eficientemente CEPL. Obtenemos resultados de optimización basados en la re escritura de fórmulas, proponiendo una forma normal para manejar filtros unarios. Además, damos un modelo computacional formal para CEP basado en transductores y autómatas simbólicos, llamado matchautomata, el cual captura el fragmento regular de fórmulas con predicados unarios. Utilizando técnicas de reescritura y transformando a autómata, mostramos que el fragmento regular de CEPL puede ser evaluado eficientemente (tiempo constante por evento) cuando se utiliza la estrategia de selección next. Con estos resultados, proponemos un marco para evaluar eficientemente CEPL, estableciendo bases sólidas para futuros sistemas CEP.
- ItemEfficient evaluation of correlation and ranked enumeration for complex event recognition(2023) Grez Arrau, Alejandro; Riveros Jaeger, Cristian; Pontificia Universidad Católica de Chile. Escuela de IngenieríaCon el paso del tiempo, son cada vez más necesarias herramientas que permitan resolver consultas a datos en tiempo real, lo que se vuelve más complejo a medida que la cantidad de datos que se procesan se vuelve cada vez mayor. El área de Complex Event Recognition (CER) engloba herramientas que buscan solventar esta necesidad, al proveer sistemas particulares especializadas en la evaluación de consultas sobre flujos de datos, enfocándose principalmente endarrespuestasentiemporealaconsultas conunaltoniveldeexpresividad. Eneste trabajobuscamosaportaraesta ´areaal abstraernosde lossistemasdesarrolladosyestudiar lasnecesidadesm´ as recurrentesde losusuariosdeestasherramientasdesdeunpuntodevistate´ orico.Primero,proponemosunmarcote´ oricopara CER,quedefineunlenguajeb´asicodeconsultasconunasem´anticaclaradesusoperadoresycapazdeexpresarel llamadofragmentoregulardeloslenguajesCER, junto conalgoritmosdeevaluaci´ onqueentregans´ olidasgarant´ ıasdeeficienciaalusuario: procesamientodecadaeventoentiempoconstanteyenumeraci´ ondecadaresultado entiempolinealeneltama˜ nodeeste. Luego,nosenfocamosenextenderdichomarcote´ oricodedosmaneras.Primero, extendemosellenguajeconeloperadorpartition-by,quepermiteexpresarunaversi´ on restringidadecorrelaci´ onconigualdadeinigualdad,yproponemosunnuevonuevo algoritmoquepermiteevaluarconsultasconesteoperador,manteniendolasmismas garant´ ıasdeeficiencia. Finalmente,proponemost´ecnicasdeevaluaci´ ondeconsultas sobrel´ ogicamon´ adicadesegundoordenquepermitenentregar losresultadosenordendeacuerdoaunafunci´ ondecostosdefinidaporelusuario,quetomatiempode procesamientolinealsobreellargodelinputytieneunfactorlogar´ ıtmicodellargodel inputenel tiempodeenumeraci´ ondecadaresultado. Luego,utilizamosestat´ecnica paraextenderelmarcoCERpropuestoconeloperadordeventanasdetiempowithin.