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 are freely available here: Send Pattern Receive Pattern Send/Receive Pattern Racing Incomin Pattern (a) Racing…

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

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

Try online Description Multi-chain is a blockchain-based framework supporting the model-driven methodology of complex business processes. It allows the specification…

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

The BPMN 2.0 notation is widely used both for modeling and implementing business processes. Even if it is largely adopted,…

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

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

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

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…

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