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

Main Authors: Ariño, Rodrigo, Degiovanni, Renzo, Fervari, Raul, Ponzio, Pablo Daniel, Aguirre, Nazareno Matías
Format: Documento de conferencia
Published: 2010-10
2010
Series: XVI Congreso Argentino de Ciencias de la Computación
Subjects:
Online Access: http://sedici.unlp.edu.ar/handle/10915/19382
building SEDICI
institution SEDICI (UNLP)
id SEDICI--oai:sedici.unlp.edu.ar:10915_19382
author Ariño, Rodrigo
Degiovanni, Renzo
Fervari, Raul
Ponzio, Pablo Daniel
Aguirre, Nazareno Matías
spellingShingle Ariño, Rodrigo
Degiovanni, Renzo
Fervari, Raul
Ponzio, Pablo Daniel
Aguirre, Nazareno Matías
CIENCIAS INFORMÁTICAS
Mejorando la aplicación de abstracción por predicados a especificaciones DynAlloy
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)
XVI Congreso Argentino de Ciencias de la Computación
topic CIENCIAS INFORMÁTICAS
topic_facet CIENCIAS INFORMÁTICAS
title 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_short Mejorando la aplicación de abstracción por predicados a especificaciones DynAlloy
contents 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)
series XVI Congreso Argentino de Ciencias de la Computación
url http://sedici.unlp.edu.ar/handle/10915/19382
format Documento de conferencia
genre Documento de conferencia
genre_facet Documento de conferencia
era 2010
2010
era_facet 2010
2010
publishDate 2010-10
2010
_version_ 1670347062627008512
score 13,179736