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

FabNet

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

FAME: a FrAmework for Multi-Robot systEms development

FAME: a FrAmework for Multi-Robot systEms development

Description FAME framework. USER GUIDE HOW TO Tutorial Requirements Ubuntu 20.04 or laterROS2 Foxy FitzroyGazebo simulator (not required in real…

FloWare

FloWare

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

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…

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…

UBBA

UBBA

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

X-IoT

X-IoT

OmiLAB Library Freedomotic simulation  X-IoT (read as cross-IoT) is a novel model-driven approach that uses a high level of…