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):

• Adrián Riesco {ariesco@fdi.ucm.es}
  Universidad Complutense de Madrid
  
• Miguel Palomino {miguelpt@sip.ucm.es}
  Universidad Complutense de Madrid
  
• Narciso Martí-Oliet {narciso@ucm.es}
  Universidad Complutense de Madrid
  

Handle:

Descargas:

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

Descarga el artículo haciendo click aquí.

Ver la referencia en formato Bibtex