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

Asteasuain, Fernando; Rodriguez Caldeira, Luciana

dc.contributor.author	Asteasuain, Fernando
dc.contributor.author	Rodriguez Caldeira, Luciana
dc.date.accessioned	2024-08-08T15:59:28Z
dc.date.available	2024-08-08T15:59:28Z
dc.date.issued	2021
dc.identifier.isbn	978 -987-633-574-4
dc.identifier.other	http://sedici.unlp.edu.ar/handle/10915/130421
dc.identifier.uri	https://undavdigital.undav.edu.ar/xmlui/handle/20.500.13069/3491
dc.description	Fil: Asteasuain, Fernando. Universidad Nacional de Avellaneda. Departamento de Tecnología y Administración; Argentina
dc.description	Fil: Rodriguez Caldeira, Luciana. Universidad Abierta Interamericana. Centro de Altos Estudios. CAETI; Argentina
dc.description.abstract	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.
dc.format.mimetype	application/pdf
dc.language.iso	eng
dc.publisher	Red de Universidades con Carreras en Informática
dc.rights	info:eu-repo/semantics/openAccess
dc.subject	Formal verification
dc.subject	Big data
dc.subject	Parallel model checkers
dc.title	An expressive and enriched specification language to synthesize behavior in BIG DATA systems
dc.type	info:eu-repo/semantics/conferenceObject
dc.type	info:ar-repo/semantics/documento de conferencia
dc.type	info:eu-repo/semantics/publishedVersion
dcterms.license	http://creativecommons.org/licenses/by-nc-sa/4.0/
local.eventos.nombregeneral	Congreso Argentino de Ciencias de la Computación (CACIC)
local.eventos.numero	XXVII
local.eventos.lugar	Argentina