Article

From Static to Dynamic Analysis and Allocation of Resources for BPMN Processes

Authors:

Francisco Durán,

Yliès Falcone,

Ahang ZuoAuthors Info & Claims

Rewriting Logic and Its Applications: 14th International Workshop, WRLA 2022, Munich, Germany, April 2–3, 2022, Revised Selected Papers

Pages 3 - 21

https://doi.org/10.1007/978-3-031-12441-9_1

Published: 02 April 2022 Publication History

Abstract

Business process optimisation is a strategic activity in organisations because of its potential to increase profit margins and reduce operational costs. One of the main challenges in this context is concerned with the problem of optimising the allocation and sharing of resources. In this work, processes are described using the BPMN notation extended with an explicit description of execution time and resources associated with tasks, and can be concurrently executed multiple times. First, a simulation-based approach for computing certain metrics of interest, such as average execution time or resource usage, is presented. This approach applies off-line and is static in the sense that the number of resources does not evolve over the time of the simulation. In a second step, an alternative approach is presented, which works online, thus requiring the instrumentation of an existing platform for retrieving information of interest during the processes’ execution. This second approach is dynamic because the number of resource replicas is updated over the time of the execution. This paper aims at stressing pros and cons of both approaches, and at showing how they complement each other.

References

[1]

Signavio (2019). https://www.signavio.com

[2]

Activiti: Open source business automation. Accessed Dec 2021

[3]

AlTurki M and Meseguer J Corradini A, Klin B, and Cîrstea C PVeStA: a parallel statistical model checking and quantitative analysis tool Algebra and Coalgebra in Computer Science 2011 Heidelberg Springer 386-392

[4]

Bartocci E and Falcone Y Lectures on Runtime Verification 2018 Cham Springer

[5]

Christiansen DR, Carbone M, and Hildebrandt T Bravetti M and Bultan T Formal semantics and implementation of BPMN 2.0 inclusive gateways Web Services and Formal Methods 2011 Heidelberg Springer 146-160

[6]

Clavel M, Durán F, Eker S, Lincoln P, Martí-Oliet N, Meseguer J, and Talcott C All About Maude - A High-Performance Logical Framework 2007 Heidelberg Springer

[7]

Combi C, Sala P, and Zerbato F Weske M, Montali M, Weber I, and vom Brocke J A logical formalization of time-critical processes with resources Business Process Management Forum 2018 Cham Springer 20-36

[8]

Durán, F., Rocha, C., Salaün, G.: A Note on Resource Allocation Analysis of BPMN Processes (2018). http://maude.lcc.uma.es/BPMN-R

[9]

Durán F, Rocha C, and Salaün G Stochastic analysis of BPMN with time in rewriting logic Sci. Comput. Program. 2018 168 1-17

[10]

Durán, F., Rocha, C., Salaün, G.: A rewriting logic approach to resource allocation analysis in business process models. Sci. Comput. Program. 183 (2019)

[11]

Durán, F., Rocha, C., Salaün, G.: Resource provisioning strategies for BPMN processes: specification and analysis using Maude. J. Log. Algebraic Methods Program. 123, 100711 (2021)

[12]

Durán F and Salaün G Jacquet J-M and Massink M Verifying timed BPMN processes using Maude Coordination Models and Languages 2017 Cham Springer 219-236

[13]

Falcone Y, Krstić S, Reger G, and Traytel D A taxonomy for classifying runtime verification tools Int. J. Softw. Tools Technol. Transfer 2021 23 2 255-284

[14]

Falcone Y, Salaün G, and Zuo A ter Beek MH and Monahan R Probabilistic model checking of BPMN processes at runtime Integrated Formal Methods 2022 Heidelberg Springer 191-208

[15]

Havur G, Cabanillas C, Mendling J, and Polleres A La Rosa M, Loos P, and Pastor O Resource allocation with dependencies in business process management systems Business Process Management Forum 2016 Cham Springer 3-19

[16]

Ihde S, Pufahl L, Lin M-B, Goel A, and Weske M Hildebrandt T, van Dongen BF, Röglinger M, and Mendling J Optimized resource allocations in business process models Business Process Management Forum 2019 Cham Springer 55-71

[17]

ISO/IEC. International Standard 19510, Information technology - Business Process Model and Notation (2013)

[18]

Krishna A, Poizat P, and Salaün G Polikarpova N and Schneider S VBPMN: automated verification of BPMN processes (tool paper) Integrated Formal Methods 2017 Cham Springer 323-331

[19]

Krishna A, Poizat P, and Salaün G Checking business process evolution Sci. Comput. Program. 2019 170 1-26

[20]

Li J, Fan Y, and Zhou M Performance modeling and analysis of workflow IEEE Trans. Syst. Man Cybern. 2004 34 2 229-242

[21]

Meseguer J Conditional rewriting logic as a unified model of concurrency Theor. Comput. Sci. 1992 96 1 73-155

[22]

Netjes, N., van der Aalst, W., Reijers, H.: Analysis of resource-constrained processes with colored Petri Nets. In: Proceedings of CPN. DAIMI, vol. 576, pp. 251–266 (2005)

[23]

Oliveira C, Lima R, Reijers H, and Ribeiro J Quantitative analysis of resource-constrained business processes Trans. Syst. Man Cybern. 2012 42 3 669-684

[24]

OMG. Business Process Model and Notation (BPMN) - Version 2.0, January 2011

[25]

Peters SPF, Dijkman RM, and Grefen PWPJ Weske M, Montali M, Weber I, and vom Brocke J Advanced simulation of resource constructs in business process models Business Process Management Forum 2018 Cham Springer 159-175

[26]

Polyak, B.: Introduction to Optimization. Translations Series in Mathematics and Engineering. Optimization Software Inc. (1987)

[27]

Schömig, A.K., Rau, H.: A Petri Net Approach for the Performance Analysis of Business Processes. Technical Report 116, Universität Würzburg, Würzburg, Germany, May 1995

[28]

Sperl, S., Havur, G., Steyskal, S., Cabanillas, C., Polleres, A., Haselböck, A.: Resource utilization prediction in decision-intensive business processes. In: Proceedings of SIMPDA, CEUR Workshop Proceedings, pp. 128–141 (2017)

[29]

Xu J, Liu C, and Zhao X Dumas M, Reichert M, and Shan M-C Resource allocation vs. business process improvement: how they impact on each other Business Process Management 2008 Heidelberg Springer 228-243

Cited By

Ali MLamo YPun V(2024)Simulation-Based Decision Support for Cross-Organisational WorkflowsCoordination Models and Languages10.1007/978-3-031-62697-5_7(111-128)Online publication date: 17-Jun-2024
https://dl.acm.org/doi/10.1007/978-3-031-62697-5_7
Ali MPun V(2023)A Static Analyser for Resource Sensitive Workflow ModelsTheoretical Aspects of Software Engineering10.1007/978-3-031-35257-7_18(305-312)Online publication date: 4-Jul-2023
https://dl.acm.org/doi/10.1007/978-3-031-35257-7_18

Index Terms

From Static to Dynamic Analysis and Allocation of Resources for BPMN Processes

Index terms have been assigned to the content through auto-classification.

Recommendations

Analysis of Resource Allocation of BPMN Processes
Service-Oriented Computing
Abstract
The approach for the modelling and analysis of resource allocation for business processes presented in this paper enables the automatic computation of measures for identifying the allocation of resources in business processes. The proposed ...
Refactoring of Multi-instance BPMN Processes with Time and Resources
Software Engineering and Formal Methods
Abstract
Business process optimisation is a strategic activity in organisations because of its potential to increase profit margins and reduce operational costs. In this paper, we focus on a specific technique used for process optimisation known as process ...
Allocation of processes and files for load balancing in distributed systems

Comments

Information & Contributors

Information

Published In

cover image Guide Proceedings

Rewriting Logic and Its Applications: 14th International Workshop, WRLA 2022, Munich, Germany, April 2–3, 2022, Revised Selected Papers

Apr 2022

298 pages

ISBN:978-3-031-12440-2

DOI:10.1007/978-3-031-12441-9

Editor:
Kyungmin Bae
Department of Computer Science and Engineering, Pohang University of Science and Technology, Pohang, Korea (Republic of)

© Springer Nature Switzerland AG 2022.

Publisher

Springer-Verlag

Berlin, Heidelberg

Publication History

Published: 02 April 2022

Qualifiers

Article

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

2
Total Citations
View Citations
0
Total Downloads

Downloads (Last 12 months)0
Downloads (Last 6 weeks)0

Reflects downloads up to 12 Nov 2024

Other Metrics

View Author Metrics

Citations

Cited By

Ali MLamo YPun V(2024)Simulation-Based Decision Support for Cross-Organisational WorkflowsCoordination Models and Languages10.1007/978-3-031-62697-5_7(111-128)Online publication date: 17-Jun-2024
https://dl.acm.org/doi/10.1007/978-3-031-62697-5_7
Ali MPun V(2023)A Static Analyser for Resource Sensitive Workflow ModelsTheoretical Aspects of Software Engineering10.1007/978-3-031-35257-7_18(305-312)Online publication date: 4-Jul-2023
https://dl.acm.org/doi/10.1007/978-3-031-35257-7_18

View Options

View options

Get Access

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Full Access

Get this Publication

Media

Figures

Other

Tables

View Table of Contents