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
dummy-img

BPMN Inspector

BPMN Inspector is a Java tool for statistical and qualitative analysis of a BPMN model collection. BPMN Inspector comes in…

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…

C-QoS

C-QoS

C-QoS is a model-driven approach that handles the complexity of representing Internet of Robotic Things (IoRT) systems and guarantees compatibility…

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