Walking Through the Semantics of Exclusive and Event-Based Gateways in BPMN Choreographies

DOI10.1007/978-3-030-31175-9_10MaRDI QIDQ6489019zbMATH OpenFDO

Authors Flavio Corradini, Andrea Morichetta, Barbara Re, Francesco Tiezzi

Publication date 14 March 2024

Full work available at URL https://doi.org/10.1007/978-3-030-31175-9_10

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

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

Cited in

(1)

• Collaboration vs. choreography conformance in BPMN

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)