RT Generic
T1 Aplicación web para el análisis unificado de procesos BPMN
T2 Web application for the unified analysis of BPMN processes
A1 Espinosa Tarrío, Pablo
K1 Aplicaciones informáticas
K1 Negocios - Gestión
K1 Informática - Trabajos Fin de Grado
K1 Grado en Ingeniería Informática - Trabajos Fin de Grado
AB Un proceso de negocio es un conjunto de actividades estructuradas que tienencomo objetivo desarrollar un determinado producto o software. BPMN esla notación de facto para diseñar y modelar gráficamente estos procesos. La importanciade los procesos de negocio dentro de las organizaciones hace que secomiencen a realizar análisis formales sobre ellos para poder llevarlos a cabo demanera eficaz y libre de errores.Por ende, el objetivo de este trabajo es desarrollar una aplicación web quepermita, de forma sencilla y eficiente, la creación y visualización de diagramasBPMN para poder ejecutar sobre ellos análisis formales en tiempo real. Dichosanálisis, estarán focalizados en verificar automáticamente ciertas propiedades deinterés, como el tiempo de ejecución, el grado de paralelismo y el uso de recursosde los procesos, además de permitir verificar proposiciones de lógica temporallineal (LTL) sobre ellos para razonar acerca de su funcionamiento.Para el desarrollo de la aplicación se ha seguido una metodología iterativaincremental, 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 paraleer los ficheros XML que contienen la información de cada diagrama y generarsu respectiva representación en formato Maude.
YR 2022
FD 2022-06
LK https://hdl.handle.net/10630/25106
UL https://hdl.handle.net/10630/25106
LA spa
DS RIUMA. Repositorio Institucional de la Universidad de Málaga
RD 20 ene 2026