期刊
SCIENCE OF COMPUTER PROGRAMMING
卷 183, 期 -, 页码 -出版社
ELSEVIER
DOI: 10.1016/j.scico.2019.102303
关键词
BPMN; Resource allocation; Rewriting logic; Automated verification; Maude
资金
- Spanish MINECO/FEDER [PGC2018-094905-B-100]
- FEDER Andalucia [UMA18-FEDERJA-180]
- CAPES
- Colciencias
- INRIA via the STIC AmSud project EPIC: EPistemic Interactive Concurrency [88881.117603/2016-01]
- Capital Semilla 2017 project SCORES: Stochastic Concurrency in Rewrite-based Probabilistic Models [020100610]
This paper presents an approach for the modeling and analysis of resource allocation for business processes. It enables the automatic computation of measures for precisely identifying and optimizing the allocation of resources in business processes, including resource usage over time. The proposed analysis, especially suited to support decision-making strategies, is illustrated with a case study of a parcel ordering and delivery by drones that is developed throughout the paper. The paper comprises an encoding of a significant and expressive subset of the Business Process Model and Notation (BPMN) in rewriting logic, an executable logic of concurrent change that can naturally deal with state and with concurrent computations. The encoding is by itself a formal semantics and interpreter of the BPMN subset that captures all concurrent behavior and thus is used to simulate the concurrent evolution of any business process with a given number of resources and replicas. (C) 2019 Elsevier B.V. All rights reserved.
作者
我是这篇论文的作者
点击您的名字以认领此论文并将其添加到您的个人资料中。
推荐
暂无数据