Verificación de Programas Distribuidos
Verificación de Programas Distribuidos
Date
2023-12
Authors
Rosenfeld, Ricardo Fabian
Journal Title
Journal ISSN
Volume Title
Publisher
Universidad Abierta Interamericana. Facultad de Tecnología Informática
Abstract
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.
Description
Keywords
programa distribuido,
verificación,
axiomática
Citation
Rosenfeld, R. (2024). Verificación de Programas Distribuidos. En: Revista Abierta De Informática Aplicada, 7(2), 51–70.