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


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

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 (Multiple Instances and Data Animator) is a BPMN animator based on the Camunda web modeler. MIDA integrates our BPMN…


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