1. Inicio
  2. Atrás
Título: Hacia la composición paralela de programas en DynAlloy
Autores: Aguirre, Nazareno Matías
Novaira, Maria Marta
Permigiani, Sonia
Fecha: 2012-10-29
2005-10
2005-10
Publicador: Unversidad Nacional de La Plata
Fuente:

Tipo: Objeto de conferencia
Objeto de conferencia
Tema: lenguaje de especificaciones
validación de propiedades
operador para composición paralela
Formal methods
Verification
Validation
Ciencias Informáticas
Lenguajes de Programación
Descripción: 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.
II Workshop de Ingeniería de Software y Bases de Datos (WISBD)
Idioma: Español