Showing papers by "Gregorio Díaz published in 2016"
TL;DR: A prioritized colored Petri net (PCPN) model for CEP is proposed and conducted, and a case study is presented, as well as a discussion on the benefits from using PCPN for modeling CEP-based systems.
Abstract: 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
25 citations
23 Jan 2016
TL;DR: This paper presents a process algebra to describe these contract relationships and a set of formal machinery to determine whether an implementation follows the rules established by these contracts.
Abstract: Relationships between entities ini¾?today's increasingly interconnected context have grown in complexity and evolved from simple communication processes to more complicated distributed systems. Electronics contracts e-contracts are of general purpose and aimed to specify relationships in a wide variety of scenario, including web and cloud services, inter and intra organization, electronic banking, etc. It is in this context that we aim to develop a consistent definition for these relationships together with a set of techniques to check their proper use. In this paper we present a process algebra to describe these contract relationships and a set of formal machinery to determine whether an implementation follows the rules established by these contracts. The main formal technique used is a simulation relation where an implementation is checked step by step against a given contract. Several toy examples are provided to facilitate understanding of the formal definitions.
3 citations