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

DOI10.1016/J.JLAMP.2021.100711OpenAlexW3182913739MaRDI QIDQ2239276FDOQ2239276

Authors: Francisco Durán, Camilo Rocha, Gwen Salaün 

Publication date: 3 November 2021

Published in: Journal of Logical and Algebraic Methods in Programming (Search for Journal in Brave)

Full work available at URL: https://hal.inria.fr/hal-03487960/file/main.pdf

Recommendations

• Analysis and optimization of the resource allocation in business processes based on extended WF-net
• Refactoring of multi-instance BPMN processes with time and resources
• Modeling resources to simulate business process reliability
• Probabilistic model checking of BPMN processes at runtime
• Time-bounded statistical analysis of resource-constrained business processes with distributed probabilistic systems

zbMATH Keywords

rewriting logicbusiness processesMaudeBPMNresource provisioningsimulation-based analysis

Mathematics Subject Classification ID

Computer science (68-XX)

Cites Work

• All about Maude -- a high-performance logical framework. How to specify, program and verify systems in rewriting logic. With CD-ROM.
• Conditional rewriting logic as a unified model of concurrency
• Semantics and pragmatics of real-time maude
• Specification and proof in membership equational logic

Cited In (2)

• Business processes resource management using rewriting logic and deep-learning-based predictive monitoring
• Refactoring of multi-instance BPMN processes with time and resources

Uses Software

• Maude
• PMaude
• PVeStA

This page was built for publication: Resource provisioning strategies for BPMN processes: specification and analysis using Maude

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2239276)