Research Topics · November 11, 2021

Quality & Analysis

  • Formal Verification on Collaborations
  • Conformance Checking between Collaboration and Choreography
  • BPMN Collaboration Animation
  • Checking of Modelling Guidelines for BPMN Collaborations
dummy-img

C4

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

dummy-img

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

MIDA

MIDA

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

S³

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