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 |
|