Mejorando la aplicación de abstracción por predicados a especificaciones DynAlloy

Autores
Ariño, Rodrigo; Degiovanni, Renzo; Fervari, Raul; Ponzio, Pablo Daniel; Aguirre, Nazareno Matías
Año de publicación
2010
Idioma
español castellano
Tipo de recurso
documento de conferencia
Estado
versión publicada
Descripción
En este trabajo presentamos técnicas para mejorar la performance de Abstracción por Predicados en el contexto de análisis de especificaciones DynAlloy. Este trabajo extiende nuestro trabajo previo en la misma dirección, principalmente mediante un mecanismo de detección de inducción, que permite independizar, bajo ciertas condiciones, el tiempo de análisis del programa de la cota en la cantidad de iteraciones exigida por DynAlloy. Dado que el tiempo de análisis de programas DynAlloy depende exponencialmente de dicha cota, las ganancias obtenidas al aplicar esta optimizaci´on son notables. Sin embargo, la técnica no es aplicable en casos arbitrarios, sino sólo bajo ciertas condiciones que identificamos en este trabajo. Por otra parte, la técnica puede requerir intervención del usuario, a través de la introducción manual de predicados de abstracción. Las optimizaciones mencionadas fueron incorporadas a la implementación de nuestra herramienta, permiténdonos evaluar las mismas en diversos casos de estudio que reportamos en este artículo. Estos casos de estudio corresponden a modelos DynAlloy provenientes de programas que operan sobre listas enlazadas.
Presentado en el I Workshop Aspectos Teóricos de Ciencia de la Computación (WATCC)
Red de Universidades con Carreras en Informática (RedUNCI)
Materia
Ciencias Informáticas
Abstract data types
DynAlloy
abstracción por predicados
análisis de especificaciones
caso de estudio
Nivel de accesibilidad
acceso abierto
Condiciones de uso
http://creativecommons.org/licenses/by-nc-sa/2.5/ar/
Repositorio
SEDICI (UNLP)
Institución
Universidad Nacional de La Plata
OAI Identificador
oai:sedici.unlp.edu.ar:10915/19382

id SEDICI_efabb93431ce44a9806b0becbed56e52
oai_identifier_str oai:sedici.unlp.edu.ar:10915/19382
network_acronym_str SEDICI
repository_id_str 1329
network_name_str SEDICI (UNLP)
spelling Mejorando la aplicación de abstracción por predicados a especificaciones DynAlloyAriño, RodrigoDegiovanni, RenzoFervari, RaulPonzio, Pablo DanielAguirre, Nazareno MatíasCiencias InformáticasAbstract data typesDynAlloyabstracción por predicadosanálisis de especificacionescaso de estudioEn este trabajo presentamos técnicas para mejorar la performance de Abstracción por Predicados en el contexto de análisis de especificaciones DynAlloy. Este trabajo extiende nuestro trabajo previo en la misma dirección, principalmente mediante un mecanismo de detección de inducción, que permite independizar, bajo ciertas condiciones, el tiempo de análisis del programa de la cota en la cantidad de iteraciones exigida por DynAlloy. Dado que el tiempo de análisis de programas DynAlloy depende exponencialmente de dicha cota, las ganancias obtenidas al aplicar esta optimizaci´on son notables. Sin embargo, la técnica no es aplicable en casos arbitrarios, sino sólo bajo ciertas condiciones que identificamos en este trabajo. Por otra parte, la técnica puede requerir intervención del usuario, a través de la introducción manual de predicados de abstracción. Las optimizaciones mencionadas fueron incorporadas a la implementación de nuestra herramienta, permiténdonos evaluar las mismas en diversos casos de estudio que reportamos en este artículo. Estos casos de estudio corresponden a modelos DynAlloy provenientes de programas que operan sobre listas enlazadas.Presentado en el I Workshop Aspectos Teóricos de Ciencia de la Computación (WATCC)Red de Universidades con Carreras en Informática (RedUNCI)2010-10info:eu-repo/semantics/conferenceObjectinfo:eu-repo/semantics/publishedVersionObjeto de conferenciahttp://purl.org/coar/resource_type/c_5794info:ar-repo/semantics/documentoDeConferenciaapplication/pdf1020-1029http://sedici.unlp.edu.ar/handle/10915/19382spainfo:eu-repo/semantics/altIdentifier/isbn/978-950-9474-49-9info:eu-repo/semantics/openAccesshttp://creativecommons.org/licenses/by-nc-sa/2.5/ar/Creative Commons Attribution-NonCommercial-ShareAlike 2.5 Argentina (CC BY-NC-SA 2.5)reponame:SEDICI (UNLP)instname:Universidad Nacional de La Platainstacron:UNLP2025-09-29T10:53:51Zoai:sedici.unlp.edu.ar:10915/19382Institucionalhttp://sedici.unlp.edu.ar/Universidad públicaNo correspondehttp://sedici.unlp.edu.ar/oai/snrdalira@sedici.unlp.edu.arArgentinaNo correspondeNo correspondeNo correspondeopendoar:13292025-09-29 10:53:51.794SEDICI (UNLP) - Universidad Nacional de La Platafalse
dc.title.none.fl_str_mv Mejorando la aplicación de abstracción por predicados a especificaciones DynAlloy
title Mejorando la aplicación de abstracción por predicados a especificaciones DynAlloy
spellingShingle Mejorando la aplicación de abstracción por predicados a especificaciones DynAlloy
Ariño, Rodrigo
Ciencias Informáticas
Abstract data types
DynAlloy
abstracción por predicados
análisis de especificaciones
caso de estudio
title_short Mejorando la aplicación de abstracción por predicados a especificaciones DynAlloy
title_full Mejorando la aplicación de abstracción por predicados a especificaciones DynAlloy
title_fullStr Mejorando la aplicación de abstracción por predicados a especificaciones DynAlloy
title_full_unstemmed Mejorando la aplicación de abstracción por predicados a especificaciones DynAlloy
title_sort Mejorando la aplicación de abstracción por predicados a especificaciones DynAlloy
dc.creator.none.fl_str_mv Ariño, Rodrigo
Degiovanni, Renzo
Fervari, Raul
Ponzio, Pablo Daniel
Aguirre, Nazareno Matías
author Ariño, Rodrigo
author_facet Ariño, Rodrigo
Degiovanni, Renzo
Fervari, Raul
Ponzio, Pablo Daniel
Aguirre, Nazareno Matías
author_role author
author2 Degiovanni, Renzo
Fervari, Raul
Ponzio, Pablo Daniel
Aguirre, Nazareno Matías
author2_role author
author
author
author
dc.subject.none.fl_str_mv Ciencias Informáticas
Abstract data types
DynAlloy
abstracción por predicados
análisis de especificaciones
caso de estudio
topic Ciencias Informáticas
Abstract data types
DynAlloy
abstracción por predicados
análisis de especificaciones
caso de estudio
dc.description.none.fl_txt_mv En este trabajo presentamos técnicas para mejorar la performance de Abstracción por Predicados en el contexto de análisis de especificaciones DynAlloy. Este trabajo extiende nuestro trabajo previo en la misma dirección, principalmente mediante un mecanismo de detección de inducción, que permite independizar, bajo ciertas condiciones, el tiempo de análisis del programa de la cota en la cantidad de iteraciones exigida por DynAlloy. Dado que el tiempo de análisis de programas DynAlloy depende exponencialmente de dicha cota, las ganancias obtenidas al aplicar esta optimizaci´on son notables. Sin embargo, la técnica no es aplicable en casos arbitrarios, sino sólo bajo ciertas condiciones que identificamos en este trabajo. Por otra parte, la técnica puede requerir intervención del usuario, a través de la introducción manual de predicados de abstracción. Las optimizaciones mencionadas fueron incorporadas a la implementación de nuestra herramienta, permiténdonos evaluar las mismas en diversos casos de estudio que reportamos en este artículo. Estos casos de estudio corresponden a modelos DynAlloy provenientes de programas que operan sobre listas enlazadas.
Presentado en el I Workshop Aspectos Teóricos de Ciencia de la Computación (WATCC)
Red de Universidades con Carreras en Informática (RedUNCI)
description En este trabajo presentamos técnicas para mejorar la performance de Abstracción por Predicados en el contexto de análisis de especificaciones DynAlloy. Este trabajo extiende nuestro trabajo previo en la misma dirección, principalmente mediante un mecanismo de detección de inducción, que permite independizar, bajo ciertas condiciones, el tiempo de análisis del programa de la cota en la cantidad de iteraciones exigida por DynAlloy. Dado que el tiempo de análisis de programas DynAlloy depende exponencialmente de dicha cota, las ganancias obtenidas al aplicar esta optimizaci´on son notables. Sin embargo, la técnica no es aplicable en casos arbitrarios, sino sólo bajo ciertas condiciones que identificamos en este trabajo. Por otra parte, la técnica puede requerir intervención del usuario, a través de la introducción manual de predicados de abstracción. Las optimizaciones mencionadas fueron incorporadas a la implementación de nuestra herramienta, permiténdonos evaluar las mismas en diversos casos de estudio que reportamos en este artículo. Estos casos de estudio corresponden a modelos DynAlloy provenientes de programas que operan sobre listas enlazadas.
publishDate 2010
dc.date.none.fl_str_mv 2010-10
dc.type.none.fl_str_mv info:eu-repo/semantics/conferenceObject
info:eu-repo/semantics/publishedVersion
Objeto de conferencia
http://purl.org/coar/resource_type/c_5794
info:ar-repo/semantics/documentoDeConferencia
format conferenceObject
status_str publishedVersion
dc.identifier.none.fl_str_mv http://sedici.unlp.edu.ar/handle/10915/19382
url http://sedici.unlp.edu.ar/handle/10915/19382
dc.language.none.fl_str_mv spa
language spa
dc.relation.none.fl_str_mv info:eu-repo/semantics/altIdentifier/isbn/978-950-9474-49-9
dc.rights.none.fl_str_mv info:eu-repo/semantics/openAccess
http://creativecommons.org/licenses/by-nc-sa/2.5/ar/
Creative Commons Attribution-NonCommercial-ShareAlike 2.5 Argentina (CC BY-NC-SA 2.5)
eu_rights_str_mv openAccess
rights_invalid_str_mv http://creativecommons.org/licenses/by-nc-sa/2.5/ar/
Creative Commons Attribution-NonCommercial-ShareAlike 2.5 Argentina (CC BY-NC-SA 2.5)
dc.format.none.fl_str_mv application/pdf
1020-1029
dc.source.none.fl_str_mv reponame:SEDICI (UNLP)
instname:Universidad Nacional de La Plata
instacron:UNLP
reponame_str SEDICI (UNLP)
collection SEDICI (UNLP)
instname_str Universidad Nacional de La Plata
instacron_str UNLP
institution UNLP
repository.name.fl_str_mv SEDICI (UNLP) - Universidad Nacional de La Plata
repository.mail.fl_str_mv alira@sedici.unlp.edu.ar
_version_ 1844615795039010816
score 13.070432