Probabilistic model checking of BPMN processes at runtime

DOI10.1007/978-3-031-07727-2_11zbMath1502.68182OpenAlexW4280514621MaRDI QIDQ2165511

Ahang Zuo, Yliès Falcone, Gwen Salaün

Publication date: 19 August 2022

Full work available at URL: https://doi.org/10.1007/978-3-031-07727-2_11

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Probability in computer science (algorithm analysis, random structures, phase transitions, etc.) (68Q87)

Uses Software

• Activiti

Cites Work

• Unnamed Item
• Bisimulation through probabilistic testing
• On-the-Fly Model Checking for Extended Action-Based Probabilistic Operators
• CADP 2010: A Toolbox for the Construction and Analysis of Distributed Processes
• From LOTOS to LNT
• Verification, Model Checking, and Abstract Interpretation

This page was built for publication: Probabilistic model checking of BPMN processes at runtime