Analysis of the Runtime Resource Provisioning of BPMN Processes Using Maude

Abstract

Companies 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.

Runtime Enforcement with Reordering, Healing, and Suppression

“…Finally, we plan to apply our enforcement approach to concrete application areas. One idea in that direction is to enforce properties during the execution of BPMN processes [19], particularly for optimization purposes [6,14].…”

Resource provisioning strategies for BPMN processes: Specification and analysis using Maude

“…This first experiment considers both constrained and unconstrained resource ranges for each of the resources. When constrained, the ranges used are [1,3] for clerks, [1,2] for workers, [1,4] for couriers, [1,8] for cars, and [1,4] for drones. When unconstrained, ranges are specified as [1,0].…”

“…The current paper is an extended and improved version of [8]. Please, see the discussion in Section 7 for details on the contributions of this paper with respect to that work.…”