Cinco Tipos de No Determinismo: Perspectivas Prácticas de los Métodos Formales

Este artículo explora cinco tipos de no determinismo en el modelado de sistemas: aleatoriedad verdadera, concurrencia, entrada del usuario, fuerzas externas y abstracción. El autor explica cada tipo claramente con ejemplos prácticos. La aleatoriedad verdadera, aunque a menudo se simula con generadores de números pseudoaleatorios, generalmente se trata como una elección no determinista en el modelado. La concurrencia es una fuente principal de no determinismo, que requiere un manejo especial debido a la explosión del espacio de estados. La entrada del usuario y las fuerzas externas se tratan como influencias externas no deterministas. Fundamentalmente, la abstracción simplifica los procesos deterministas complejos en elecciones no deterministas, simplificando los modelos y aumentando la sensibilidad a los errores potenciales. Esto proporciona información valiosa para comprender el no determinismo y sus aplicaciones en el desarrollo de software.