Navegación

Búsqueda

Búsqueda avanzada

El autor Miguel Palomino ha publicado 1 artículo(s):

1 - Towards a formal framework for analyzing stream processing systems in Maude (Trabajo en progreso)

With the rise of Big Data technologies, distributed stream processing systems (SPS) have gained popularity in the last years. Among these systems Spark Streaming stands out as a particularly attractive option, with a growing adoption in the industry, so we will consider in particular some features of SPS in Spark Streaming. Maude is a high-performance logical framework where other systems can be easily specified and executed. In this paper we show how a Maude specification of Spark Streaming would allow developers to analyze and prove properties on their programs.

Autores: Adrián Riesco / Miguel Palomino / Narciso Martí-Oliet / 
Palabras Clave: Maude - Model checking - Stream processing systems