Analysis of the Runtime Resource Provisioning of BPMN Processes using Maude

International audienceCompanies are continuously adjusting their resources to their needs following different strategies. However, the dynamic provisioning strategies are hard to compare. This paper proposes an automatic analysis technique to evaluate and compare the execution time and resource occupancy of a business process relative to a workload and a provisioning strategy. Such analysis is performed on models conforming to an extension of BPMN with quantitative information, including resource availability and constraints. Within this framework, the approach is fully mechanized using a formal and executable specification in the rewriting logic framework, which relies on existing techniques and tools for simulating probabilistic and real-time specifications

Web application for the unified analysis of BPMN processes

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

A Rewriting Logic Approach to Resource Allocation Analysis in Business Process Models

International audienc