Business process optimization is a strategic activity in organizations because of its potential to increase profit margins and reduce operational costs. One of the main challenges in this activity is concerned with the problem of optimizing allocation and sharing of resources. 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. Four different strategies are presented, which are guided by, respectively, recent resource usage, recent resource request, predicted behavior, and a combination of available strategies. 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 Maude rewriting logic framework, which relies on existing techniques and tools for simulating probabilistic and real-time specifications. The paper includes results on the extensive experimentation that has been carried out for validation purposes.

业务流程优化是组织中的一项战略活动，因为它具有提高利润率和降低运营成本的潜力。这项活动的主要挑战之一是优化资源分配和共享的问题。公司根据不同的战略不断调整资源以满足他们的需求。但是，动态配置策略很难进行比较。本文提出了一种自动分析技术来评估和比较业务流程相对于工作负载和供应策略的执行时间和资源占用情况。提出了四种不同的策略，分别由最近的资源使用、最近的资源请求、预测的行为和可用策略的组合引导。这种分析是在符合 BPMN 扩展的模型上执行的，具有定量信息，包括资源可用性和约束。在这个框架内，该方法在 Maude 重写逻辑框架中使用正式和可执行的规范完全机械化，该框架依赖于用于模拟概率和实时规范的现有技术和工具。该论文包括为验证目的而进行的广泛实验的结果。它依赖于现有的技术和工具来模拟概率和实时规范。该论文包括为验证目的而进行的广泛实验的结果。它依赖于现有的技术和工具来模拟概率和实时规范。该论文包括为验证目的而进行的广泛实验的结果。