Verificación de Programas Distribuidos

Autores/as

  • Ricardo Rosenfeld Centro de Altos Estudios en Tecnología Informática (CAETI). Universidad Abierta Interamericana (UAI) Autor/a

DOI:

https://doi.org/10.59471/raia202387

Palabras clave:

PROGRAMA DISTRIBUIDO, VERIFICACIÓN, AXIOMÁTICA

Resumen

Este artículo completa nuestra serie de cuatro artículos sobre la verificación axiomática de programas, que planteamos en el marco del proyecto del CAETI para construir un ambiente de soporte al desarrollo de software. En particular, concluimos el análisis de los programas concurrentes iniciado en la publicación anterior, considerando ahora la familia de los programas distribuidos, caracterizados por contar con procesos con variables disjuntas y que se comunican mediante mensajes. Como siempre, destacamos el principio de utilizar las axiomáticas como guías para la obtención de programas correctos por construcción, y la observación de que las nociones fundamentales de predicado invariante y función variante constituyen la base metodológica en todos los paradigmas de programación

Descargas

Publicado

2023-12-27

Cómo citar

1.
Rosenfeld R. Verificación de Programas Distribuidos. Revista Abierta de Informática Aplicada [Internet]. 2023 Dec. 27 [cited 2024 Dec. 4];7(2):51-70. Available from: https://raia.revistasuai.ar/index.php/raia/article/view/87