- BPMN Formal Semantics: Collaborations & Choreographies
- Formal Properties on BPMN Collaboration Diagrams
- Advances in Classifying BPMN Models
- Modelling IoT-Aware Business Processes
BPMN-Redrawer
BPMN-Redrawer is a tool for supporting the redrawing of BPMN models from .png images to actual .bpmn BPMN-Redrawer makes usage…
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…
RePROSitory
RePROSitory (Repository of open PROcess modelS) is a web-based and open repository of business process models and logs made available…
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…