CAETI
Centro de Altos Estudios en Tecnología Informática
Buenos Aires
Ingeniería de Software
Framework para el Desarrollo de Software mediante Modularización Avanzada. 2da. Etapa
An expressive and enriched specification language to synthezise behavior in BIG DATA systems
Año: 2021
Idioma: Inglés
Resumen
In this work we extend our behavioral speci_cation and controller synthesis framework FVS to deal with BIG DATA requirements. For one side, we enriched FVS expressive power by exhibiting how our language can handle uents and partial speci_cations. For the other side, we combined FVS with a parallel model checker in order to automatically obtain a controller given the behavior speci_cation. In this way, FVS can be presented as an attractive tool to formally verify and synthesize behavior for BIG DATA systems. Our approach is compared to other well known parallel tool analyzing a complex big data system.
Integrantes
Fernando Asteasuain (Autor)
Luciana Rodríguez Caldeira (Autor)
Archivos
-
Fernando Asteasuain, Luciana Rodríguez Caldeira (2021). “An expressive and enriched specification language to synthezise behavior in BIG DATA systems”. XXVII Congreso Argentino de Ciencias de la Computación CACIC 2021. Universidad Nacional de Salta. 4 al 8 de Octubre de 2021.
14- Asteasuain-Rodriguez Caldeira - An expressive and enriched specification language - CACIC-2021.pdf