Navegación

Búsqueda

Búsqueda avanzada

El autor Valentín Valero ha publicado 2 artículo(s):

1 - Complex Event Processing Modeling by Prioritized Colored Petri Nets (Summary)

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 model (PCPN) for CEP is proposed and conducted in this paper.

Thus, we have not only an event pattern graphical representation, but also the capability to perform formal analysis, and therefore semantic analysis, by means of the PCPN model obtained and the CPN Tools. This formal analysis is twofold. On the one hand, users can interact with the model itself by performing a step by step debugging, since the tool allows to simulate the model. With this in mind, users can specify a concrete scenario by providing the initial marking to check whether the model works as expected. By doing this, users can observe the results of the individual steps of the simulation, which represent the different EPL operators, as we can observe at the end of the case study where a user can detect whether the preferred operator has been used, that is, if the specified pattern behaves as expected. On the other hand, there are certain advantages of performing automatic simulations. An automatic simulation allows us to actually execute the EPL code and compare the obtained output, that is, we can compare whether the results obtained from a given input are the same when we execute the EPL code in the Esper EPL online tool and in CPN Tools.

Autores: Hermenegilda Macià / Valentín Valero / Gregorio Díaz / Juan Boubeta-Puig / Guadalupe Ortiz / 
Palabras Clave:

2 - An Intelligent Transportation System to control air pollution and road traffic in cities integrating CEP and Colored Petri Nets

Air pollution generated by road traffic in large cities is a great concern in today’s society since pollution has an important impact on human health, even causing premature deaths. To address the problem, this paper presents an Intelligent
Transportation System model based on Complex Event Processing technology and Colored Petri Nets (CPNs). It takes into consideration the levels of environmental pollution and road traffic, according to the air quality levels accepted by the
international recommendations as well as the handbook emission factors for road transport methodology. This proposal, therefore, tackles a common problem in today’s large cities, where traffic restrictions must be applied due to environmental
pollution. CPNs are used in this work as a tool to make decisions about traffic regulations, so as to reduce pollution levels

Autores: Gregorio Díaz / Hermenegilda Macia / Valentín Valero / Juan Boubeta-Puig / Fernando Cuartero / 
Palabras Clave: Complex Event Processing - Event processing languages - Formal methods