Tools

X-IoT

X-IoT

Download the OmiLAB Library Freedomotic simulation Virtual Machine  X-IoT (read as cross-IoT) is a novel model-driven approach that uses…

UBBA

UBBA

UBBA (Unity Based BPMN Animator) is a tool that, taken in input a BPMN file allows to create a virtual…

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…

S³

S³ is a verification tool for checking Safeness, Soundness, and message-relaxed Soundness properties of BPMN collaboration models including the exchange…

RePROSitory

RePROSitory

RePROSitory (Repository of open PROcess modelS) is a web-based and open repository of business process models and logs made available…

Purple

Purple

PURPLE (PURPose-guided Log gEnerator) is an automatic generator of event logs based on guided simulation of business models. The tool…

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…

MIDA

MIDA

MIDA (Multiple Instances and Data Animator) is a BPMN animator based on the Camunda bpmn.io web modeler. MIDA integrates our BPMN…

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,…

FloWare

FloWare

FloWare is a novel model-driven approach proposed to reduce the effort required by experts to build IoT applications. It offers…

FaMe

FaMe

A BPMN-driven Framework for Multi-Robot System Development User Guide Requirements Ubuntu 20.04 or laterROS2 Foxy FitzroyGazebo simulator (not required in…

FabNet

Demo links FabNet tool, with the test configuration, start.sh script and the generated network are available at the following links.…

Colliery

Colliery

COLLIERY (COLLaboration dIscovERY) is a novel technique that permits discovering a business process collaboration from a set of event logs…

ChorChain

ChorChain

Description ChorChain is a model-driven framework based on Blockchain technology. It supports the whole life-cycle of BPMN Choreographies from their modelling to their distributed execution…

C4

COLLABORATION VS. CHOREOGRAPHY CONFORMANCE IN BPMN Flavio Corradini, Andrea Morichetta, Andrea Polini, Barbara Re, Francesco Tiezzi. Collaboration vs Choreography Conformance in…

BPMN-Redrawer

BPMN-Redrawer

BPMN-Redrawer is a tool for supporting the redrawing of BPMN models from .png images to actual .bpmn BPMN-Redrawer makes usage…