Evènement pour le groupe Séminaire Méthodes Formelles


Date 2018-10-23  11:00-12:00
TitreFoundations of Complex Event Processing 
RésuméComplex event processing (CEP) emerges as a unified technology for efficiently processing data streams. Contrary to data streams management systems, CEP query languages model data streams as a continuous sequence of events and CEP queries define sets of events (complex events) that are of interest for the final user. In this talk, I will present our recent proposal for giving formal foundations to complex event processing. First, I will introduce complex event logic (CEL), a logical language for extracting complex events, that captures the main features used by CEP systems in practise. Then I will show how to efficiently represent CEL queries through so-called complex event automata, which are symbolic transducers that produce complex events from data streams. Then I will explain how to evaluate complex event automata with constant delay algorithms and present some preliminaries experimental results that show how our approach is order of magnitudes faster than current CEP systems developed in academy and industry. Finally, I will discuss some open problems regarding the connection between automata models, transducers, and constant delay algorithms. 
Lieu178 
OrateurCristian Riveros 
Emailhttp://criveros.sitios.ing.uc.cl/ 
UrlPontificia Universidad Catolica de Chile 



Aucun document lié à cet événement.

Retour
Retour à l'index