- BPMN Formal Semantics: Collaborations & Choreographies
- Formal Properties on BPMN Collaboration Diagrams
- Advances in Classifying BPMN Models
- Modelling IoT-Aware Business Processes
FAME: a FrAmework for Multi-Robot systEms development
Description FAME framework. USER GUIDE HOW TO Tutorial Requirements Ubuntu 20.04 or laterROS2 Foxy FitzroyGazebo simulator (not required in real…
Global vs. Local OR-Join Semantics
The BPMN 2.0 notation is widely used both for modeling and implementing business processes. Even if it is largely adopted,…
Multi-chain
Try online Description Multi-chain is a blockchain-based framework supporting the model-driven methodology of complex business processes. It allows the specification…
Service Interaction Patterns in MIDA
Service Interaction patterns in MIDA are freely available here: Send Pattern Receive Pattern Send/Receive Pattern Racing Incomin Pattern (a) Racing…