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

BPMN Inspector

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

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…

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