Modelo de Workflow con
redes de Petri Coloreadas Condicionales
Samuel Garrido Daniel
|
Texto completo de la Tesis
Resumen
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).