Hacia la validación de arquitecturas de software usando Alloy

En este trabajo, presentamos algunas líneas de trabajo que seguimos actualmente, con el objetivo principal de utilizar el lenguaje relacional Alloy para la validación de propiedades estáticas y dinámicas de arquitecturas de software. Allor es un lenguaje de especificaciones con una semántica formal...

Descripción completa

Guardado en:
Detalles Bibliográficos
Autores principales: Novaira, Maria Marta, Permigiani, Sonia
Formato: Objeto de conferencia
Lenguaje:Español
Publicado: 2005
Materias:
Ciencias Informáticas
SOFTWARE ENGINEERING
Validación
arquitectura
Software
arquitectura de software
Acceso en línea:http://sedici.unlp.edu.ar/handle/10915/21120
Aporte de:
SEDICI (UNLP) de Universidad Nacional de La Plata
id I19-R120-10915-21120
record_format dspace
institution Universidad Nacional de La Plata
institution_str I-19
repository_str R-120
collection SEDICI (UNLP)
language Español
topic Ciencias Informáticas
SOFTWARE ENGINEERING
Validación
arquitectura
Software
arquitectura de software
spellingShingle Ciencias Informáticas
SOFTWARE ENGINEERING
Validación
arquitectura
Software
arquitectura de software
Novaira, Maria Marta
Permigiani, Sonia
Hacia la validación de arquitecturas de software usando Alloy
topic_facet Ciencias Informáticas
SOFTWARE ENGINEERING
Validación
arquitectura
Software
arquitectura de software
description En este trabajo, presentamos algunas líneas de trabajo que seguimos actualmente, con el objetivo principal de utilizar el lenguaje relacional Alloy para la validación de propiedades estáticas y dinámicas de arquitecturas de software. Allor es un lenguaje de especificaciones con una semántica formal clara, basada principalmente en la noción de relación, y que ha ganado importancia en el último tiempo. Presentamos aquí de qué forma pueden especificarse usando Alloy algunos conceptos asociados a las arquitecturas de software, como componentes o conectores y cómo podría, en principio, utilizar el Alloy Analyzer para validar propiedad estáticas de arquitecturas. Además, discutimos algunas de las limitaciones de Alloy para la especificación de arquitecturas de software, particularmente el modelado de propiedades de trazas de ejecución de sistemas basados en componentes.
format Objeto de conferencia
Objeto de conferencia
author Novaira, Maria Marta
Permigiani, Sonia
author_facet Novaira, Maria Marta
Permigiani, Sonia
author_sort Novaira, Maria Marta
title Hacia la validación de arquitecturas de software usando Alloy
title_short Hacia la validación de arquitecturas de software usando Alloy
title_full Hacia la validación de arquitecturas de software usando Alloy
title_fullStr Hacia la validación de arquitecturas de software usando Alloy
title_full_unstemmed Hacia la validación de arquitecturas de software usando Alloy
title_sort hacia la validación de arquitecturas de software usando alloy
publishDate 2005
url http://sedici.unlp.edu.ar/handle/10915/21120
work_keys_str_mv AT novairamariamarta hacialavalidaciondearquitecturasdesoftwareusandoalloy
AT permigianisonia hacialavalidaciondearquitecturasdesoftwareusandoalloy
bdutipo_str Repositorios
_version_ 1764820465477484546

Ejemplares similares