Walking Through the Semantics of Exclusive and Event-Based Gateways in BPMN Choreographies
From MaRDI portal
Publication:6489019
DOI10.1007/978-3-030-31175-9_10MaRDI QIDQ6489019FDOQ6489019
Authors: Flavio Corradini, Andrea Morichetta, Barbara Re, Francesco Tiezzi 
Publication date: 14 March 2024
Recommendations
- Collaboration vs. choreography conformance in BPMN
- Formalization and analysis of BPMN using graph transformation systems
- A higher-order transformation approach to the formalization and analysis of BPMN using graph transformation systems
- Formal verification of complex business processes based on high-level Petri nets
- Formalisations and applications of BPMN
Semantics in the theory of computing (68Q55) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)
This page was built for publication: Walking Through the Semantics of Exclusive and Event-Based Gateways in BPMN Choreographies
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6489019)
