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

DOI10.1016/J.JLAMP.2021.100711MaRDI QIDQ2239276zbMATH OpenOpenAlexFDO

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

zbMATH Keywords

rewriting logicbusiness processesMaudeBPMNresource provisioningsimulation-based analysis

Mathematics Subject Classification ID

Computer science (68-XX)

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

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

Describes a project that uses

Uses Software

• PVeStA
• PMaude
• Maude

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)