Formalizing Complex Event Processing Systems in Maude

Complex event processing (CEP) is a cutting-edge technology for analyzing and correlating streams of information about events that happen in a system, and deriving conclusions from them. CEP permits defining complex events based on the events produced by the incoming sources, to identify complex mea...

Full description

Bibliographic Details
Main Authors: Loli Burgueno, Juan Boubeta-Puig, Antonio Vallecillo
Format: Article
Language:English
Published: IEEE 2018-01-01
Series:IEEE Access
Subjects:
Online Access:https://ieeexplore.ieee.org/document/8352137/