Departamento de Computación

El modelado de workflow es un área de investigación que ha sido explorada por más de una década. Actualmente existen diversos trabajos en los que se emplean diferentes técnicas de modelado como son UML, IDEF0, redes de Petri, álgebras de procesos entre otras más; sin embargo actualmente no existe una metodología o técnica estándar. Un proceso de workflow es un proceso genérico de negocios, como ejemplos de estos procesos podemos citar la compra en línea de un libro, la inscripción de un alumno al nuevo semestre escolar, la requisición de productos en un departamento de compras, entre otros más. Es evidente que los procesos de workflow son procesos comunes que se encuentran en la vida diaria de toda organización o empresa.
El atractivo de la tecnología Workflow, es la ejecución de manera automatizada o semiautomatizada de los procesos de negocio de una empresa, además de permitir su administración y monitorización. Para estas tareas se utilizan los sistemas administradores de workflows, los cuales a partir de la definición del proceso a través de alguna técnica de modelado, pueden ejecutar dichos procesos en combinación con otras tecnologías de información y del personal humano involucrado. Es así como la correcta especificación del proceso asegurará en mayor medida la ejecución correcta del mismo. Las redes de Petri son una herramienta gráfica y matemática para modelado de sistemas. En la presente tesis se propone una metodología basada en redes de Petri para modelación y simulación de procesos de workflow a través de un enfoque de reglas ECA (Evento-Condición-Acción).