Research Topics · November 11, 2021

Design & Modelling

  • 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

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

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…

dummy-img

FabNet

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

FaMe

FaMe

A BPMN-driven Framework for Multi-Robot System Development User Guide Requirements Ubuntu 20.04 or later ROS2 Foxy Fitzroy Gazebo simulator (not…

dummy-img

Flexchain

Description Flexchain is a model-driven approach for the flexible execution of multi-party business processes based on blockchain. Flexchain considers permissionless…