Framework para el Desarrollo de Software mediante Modularización Avanzada. 2da. Etapa

Permanent URI for this collection

https://repositorio.uai.edu.ar/handle/123456789/295

Browse

Browsing Framework para el Desarrollo de Software mediante Modularización Avanzada. 2da. Etapa by Subject "BIG DATA"
  • Item
    A Sound and Correct Formalism to Specify, Verify and Synthesize Behavior in BIG DATA Systems
    (Springer, 2022-5-20) Asteasuain, Fernando ; Rodriguez Caldeira, Luciana
    In this work we consolidate our behavioral specification frame work based on the Feather Weight Visual Scenarios (FVS) language as a powerful tool to specify, verify and synthesize behavior for BIG DATA systems. We formally demonstrate that our approach is sound and cor rect end to end, including the latest extensions such as fluents and par tial specifications. In addition, our empirical validation is strengthen by adding new and complex case studies and incorporating, besides execu tion time, space exploration as a factor in the comparison with other approaches. We believe that the contributions introduced in this work aim to point up FVS as a solid tool to formally verify behavior in BIG DATA systems.
  • Item
    An expressive and enriched specification language to synthezise behavior in BIG DATA systems
    (Universidad Nacional de Salta, 2021) Asteasuain, Fernando ; Rodríguez Caldeira, Luciana
    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.