TY - GEN
T1 - Analysis of the Runtime Resource Provisioning of BPMN Processes Using Maude
AU - Durán, Francisco
AU - Rocha, Camilo
AU - Salaün, Gwen
N1 - Publisher Copyright:
© 2020, Springer Nature Switzerland AG.
PY - 2020
Y1 - 2020
N2 - 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.
AB - 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.
UR - http://www.scopus.com/inward/record.url?scp=85099012229&partnerID=8YFLogxK
U2 - 10.1007/978-3-030-63595-4_3
DO - 10.1007/978-3-030-63595-4_3
M3 - Conference contribution
AN - SCOPUS:85099012229
SN - 9783030635947
T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
SP - 38
EP - 56
BT - Rewriting Logic and Its Applications - 13th International Workshop, WRLA 2020, Revised Selected Papers
A2 - Escobar, Santiago
A2 - Martí-Oliet, Narciso
PB - Springer Science and Business Media Deutschland GmbH
T2 - 13th International Workshop on Rewriting Logic and Its Applications, WRLA 2020
Y2 - 20 October 2020 through 22 October 2020
ER -