Hacia la composición paralela de programas en DynAlloy

En este artículo estudiamos una extensión del lenguaje DynAlloy con un operador de composición paralela de acciones. DynAlloy es una extensión al lenguaje de especificaciones Alloy, con soporte para la definición de acciones (expresables originalmente con funciones el Alloy), acciones compuestas y a...

Descripción completa

Guardado en:

Detalles Bibliográficos
Autores principales:	Aguirre, Nazareno Matías, Novaira, Maria Marta, Permigiani, Sonia
Formato:	Objeto de conferencia
Lenguaje:	Español
Publicado:	2005
Materias:	Ciencias Informáticas lenguaje de especificaciones Formal methods Lenguajes de Programación Verification validación de propiedades Validation operador para composición paralela
Acceso en línea:	http://sedici.unlp.edu.ar/handle/10915/23127
Aporte de:	SEDICI (UNLP) de Universidad Nacional de La Plata

id	I19-R120-10915-23127
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 lenguaje de especificaciones Formal methods Lenguajes de Programación Verification validación de propiedades Validation operador para composición paralela
spellingShingle	Ciencias Informáticas lenguaje de especificaciones Formal methods Lenguajes de Programación Verification validación de propiedades Validation operador para composición paralela Aguirre, Nazareno Matías Novaira, Maria Marta Permigiani, Sonia Hacia la composición paralela de programas en DynAlloy
topic_facet	Ciencias Informáticas lenguaje de especificaciones Formal methods Lenguajes de Programación Verification validación de propiedades Validation operador para composición paralela
description	En este artículo estudiamos una extensión del lenguaje DynAlloy con un operador de composición paralela de acciones. DynAlloy es una extensión al lenguaje de especificaciones Alloy, con soporte para la definición de acciones (expresables originalmente con funciones el Alloy), acciones compuestas y aserciones de corrección parcial. El objetivo principal de DynAlloy es incorporar a Alloy soporte para la validación de propiedades de safety de ejecuciones de sistemas. En su versión original, DynAlloy soporta composición de acciones mediante composición secuencial, elección no determinista, iteración no acotada, etc., pero no incluye un operador de composición paralela. La composición paralela es un operador de importancia en el ámbito de los sistemas reactivos y concurrentes, por lo cual analizamos aquí las dificultades asociadas a la extensión de DynAlloy con un operador para composición paralela.
format	Objeto de conferencia Objeto de conferencia
author	Aguirre, Nazareno Matías Novaira, Maria Marta Permigiani, Sonia
author_facet	Aguirre, Nazareno Matías Novaira, Maria Marta Permigiani, Sonia
author_sort	Aguirre, Nazareno Matías
title	Hacia la composición paralela de programas en DynAlloy
title_short	Hacia la composición paralela de programas en DynAlloy
title_full	Hacia la composición paralela de programas en DynAlloy
title_fullStr	Hacia la composición paralela de programas en DynAlloy
title_full_unstemmed	Hacia la composición paralela de programas en DynAlloy
title_sort	hacia la composición paralela de programas en dynalloy
publishDate	2005
url	http://sedici.unlp.edu.ar/handle/10915/23127
work_keys_str_mv	AT aguirrenazarenomatias hacialacomposicionparaleladeprogramasendynalloy AT novairamariamarta hacialacomposicionparaleladeprogramasendynalloy AT permigianisonia hacialacomposicionparaleladeprogramasendynalloy
bdutipo_str	Repositorios
_version_	1764820465680908289

Hacia la composición paralela de programas en DynAlloy

Ejemplares similares