Reducciones temporales para convertir la sintaxis abstracta del diagrama de flujo de tareas no estructurado al álgebra de tareas - Temporary reductions for converting the abstract syntax from an unstructured task flow diagram to the task algebra

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.Abstract: The present paper describe our work modeling software using temporary reductions to represent unstructured flow diagrams as an intermediate representation to build textual expression in a particular process algebra. This work was realized in order to build a CASE tool supporting the task modeling phase from the Discovery Method for software development. We begin explaining the similarities between two types of flow diagrams, the UML activity diagram and the task flow diagram with its formal representation (task algebra). Next, we offer an explanation of the work to automatically generate, using the temporary reductions, expressions in the task algebra using abstract information from the task flow diagrams.Keywords: Temporary reductions, visual modelling, activity diagrams.