An expressive and enriched specification language to synthezise behavior in BIG DATA systems

Thumbnail Image
Date
2021
Authors
Asteasuain, Fernando
Rodríguez Caldeira, Luciana
Journal Title
Journal ISSN
Volume Title
Publisher
Universidad Nacional de Salta
Abstract
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.
Description
Keywords
formal verification, BIG DATA, parallel model checkers
Citation
Asteasuain, F.; Rodríguez Caldeira, L. (2021). An expressive and enriched specification language to synthezise behavior in BIG DATA systems. En: Congreso Argentino de Ciencias de la Computación, CACIC. 27. 4-8 oct 2021. Actas. Salta : Universidad Nacional de Salta. p.:357-366