Navegación

Búsqueda

Búsqueda avanzada

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

Resumen:

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.

Palabras Clave:

Maude - Model checking - Stream processing systems

Autor(es):

Handle:

11705/PROLE/2017/003

Descargas:

Este artículo tiene una licencia de uso CreativeCommons Reconocimiento (by)

Descarga el artículo haciendo click aquí.