2026-06-01T08:38:20Zhttps://riuma.uma.es/rest/oai/requestoai:riuma.uma.es:10630/251062026-02-03T10:26:22Zcom_10630_1685col_10630_38055
00925njm 22002777a 4500
dc
Espinosa Tarrío, Pablo
author
2022-06
Un proceso de negocio es un conjunto de actividades estructuradas que tienen
como objetivo desarrollar un determinado producto o software. BPMN es
la notación de facto para diseñar y modelar gráficamente estos procesos. La importancia
de los procesos de negocio dentro de las organizaciones hace que se
comiencen a realizar análisis formales sobre ellos para poder llevarlos a cabo de
manera eficaz y libre de errores.
Por ende, el objetivo de este trabajo es desarrollar una aplicación web que
permita, de forma sencilla y eficiente, la creación y visualización de diagramas
BPMN para poder ejecutar sobre ellos análisis formales en tiempo real. Dichos
análisis, estarán focalizados en verificar automáticamente ciertas propiedades de
interés, como el tiempo de ejecución, el grado de paralelismo y el uso de recursos
de los procesos, además de permitir verificar proposiciones de lógica temporal
lineal (LTL) sobre ellos para razonar acerca de su funcionamiento.
Para el desarrollo de la aplicación se ha seguido una metodología iterativa
incremental, utilizando Node.js para desarrollar el servidor web de la aplicación,
Maude para realizar los análisis formales sobre los procesos BPMN, y Java para
leer los ficheros XML que contienen la información de cada diagrama y generar
su respectiva representación en formato Maude.
https://hdl.handle.net/10630/25106
Aplicaciones informáticas
Negocios - Gestión
Informática - Trabajos Fin de Grado
Grado en Ingeniería Informática - Trabajos Fin de Grado
Aplicación web para el análisis unificado de procesos BPMN