Reducciones temporales para convertir la sintaxis abstracta del diagrama de flujo de tareas no estructurado al álgebra de tareas

Resumen: Este artículo describe nuestro trabajo en el modelado de software usando reducciones temporales para representar diagramas de flujo no estructurado, como una representación intermedia para construir una expresión textual en una álgebra de procesos particular. Este trabajo fue realizado para poder construir una herramienta CASE de apoyo para la fase del modelado de tareas en el Método Discovery para el desarrollo de software. Inicialmente explicaremos las similitudes entre dos tipos de diagramas, el diagrama de actividades de UML y el diagrama de flujo de tareas con su representación formal (el álgebra de tareas). Posteriormente, ofreceremos una explicación explicando la generación automática, usando las reducciones temporales, de expresiones en el álgebra de tareas usando información abstracta que es obtenida de los diagramas de flujo de tareas. Palabras Clave: Reducciones temporales, modelado visual, diagramas de actividad