RT journal article
T1 Complex Event Processing Modeling by Prioritized Colored Petri Nets
A1 Macià, Hermenegilda
A1 Valero, Valentín
A1 Díaz, Gregorio
A1 Boubeta Puig, Juan
A1 Ortiz Bellot, Guadalupe
A2 Ingeniería Informática
K1 Formal modeling
K1 Petri nets
K1 CEP
K1 EPL
K1 Services for big data
K1 Data mining
AB Complex event processing (CEP) is a technology that allows us to process and correlate large volumes of data by using event patterns, aiming at promptly detecting specific situations that could require special treatment. The event types and event patterns for a particular application domain are implemented by using an event processing language (EPL). Although some current model-driven tools allow end users to easily define these patterns, which are then transformed automatically into a particular EPL, the generated code is syntactically but not semantically validated. To deal with this problem, a prioritized colored Petri net (PCPN) model for CEP is proposed and conducted in this paper. This well-known graphical formalism together with CPNTools makes possible the modeling, simulation, analysis, and semantic validation of complex event-based systems. To illustrate this approach, a case study is presented, as well as a discussion on the benefits from using PCPN for modeling CEP-based systems.
PB Institute of Electrical and Electronics Engineers Inc.
SN 2169-3536
YR 2016
FD 2016-10-26
LK http://hdl.handle.net/10498/29808
UL http://hdl.handle.net/10498/29808
LA eng
NO This work was supported in part by the Spanish Ministry of Science and Innovation and the European Union FEDER Funds with the Project DArDOS entitled Formal development and analysis of complex systems in distributed contexts: foundations, tools and applications under Grant TIN2015-65845-C3, subprojects 2-R and 3-R, and the Research Network on Services Science and Engineering under Grant TIN2014-53986-REDT, and in part by the University of Cádiz under Project PR2016-032.
DS Repositorio Institucional de la Universidad de Cádiz
RD 11-nov-2026