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

DOI10.1016/J.JLAMP.2021.100711OpenAlexW3182913739MaRDI QIDQ2239276

Gwen Salaün, Camilo Rocha, Francisco Durá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)

Related Items (1)

Business processes resource management using rewriting logic and deep-learning-based predictive monitoring

Uses Software

• Maude
• PMaude
• PVeStA

Cites Work

• Semantics and pragmatics of real-time maude
• 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
• Specification and proof in membership equational logic

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