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

In this work we extend our behavioral specification 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 fluents and partial specifications. For the other side, we combined FVS with a para...

Descripción completa

Detalles Bibliográficos
Autores principales: Asteasuain, Fernando, Rodriguez Caldeira, Luciana
Formato: Objeto de conferencia
Lenguaje:Inglés
Publicado: 2021
Materias:
Ciencias Informáticas
Formal verification
Big data
Parallel model checkers
Acceso en línea:http://sedici.unlp.edu.ar/handle/10915/130421
Aporte de:
SEDICI (UNLP) de Universidad Nacional de La Plata
id I19-R120-10915-130421
record_format dspace
institution Universidad Nacional de La Plata
institution_str I-19
repository_str R-120
collection SEDICI (UNLP)
language Inglés
topic Ciencias Informáticas
Formal verification
Big data
Parallel model checkers
spellingShingle Ciencias Informáticas
Formal verification
Big data
Parallel model checkers
Asteasuain, Fernando
Rodriguez Caldeira, Luciana
An expressive and enriched specification language to synthesize behavior in BIG DATA systems
topic_facet Ciencias Informáticas
Formal verification
Big data
Parallel model checkers
description In this work we extend our behavioral specification 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 fluents and partial specifications. For the other side, we combined FVS with a parallel model checker in order to automatically obtain a controller given the behavior specification. 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.
format Objeto de conferencia
Objeto de conferencia
author Asteasuain, Fernando
Rodriguez Caldeira, Luciana
author_facet Asteasuain, Fernando
Rodriguez Caldeira, Luciana
author_sort Asteasuain, Fernando
title An expressive and enriched specification language to synthesize behavior in BIG DATA systems
title_short An expressive and enriched specification language to synthesize behavior in BIG DATA systems
title_full An expressive and enriched specification language to synthesize behavior in BIG DATA systems
title_fullStr An expressive and enriched specification language to synthesize behavior in BIG DATA systems
title_full_unstemmed An expressive and enriched specification language to synthesize behavior in BIG DATA systems
title_sort expressive and enriched specification language to synthesize behavior in big data systems
publishDate 2021
url http://sedici.unlp.edu.ar/handle/10915/130421
work_keys_str_mv AT asteasuainfernando anexpressiveandenrichedspecificationlanguagetosynthesizebehaviorinbigdatasystems
AT rodriguezcaldeiraluciana anexpressiveandenrichedspecificationlanguagetosynthesizebehaviorinbigdatasystems
AT asteasuainfernando expressiveandenrichedspecificationlanguagetosynthesizebehaviorinbigdatasystems
AT rodriguezcaldeiraluciana expressiveandenrichedspecificationlanguagetosynthesizebehaviorinbigdatasystems
bdutipo_str Repositorios
_version_ 1764820453399986176

Ejemplares similares