Main Topics and Contributions

Process Design

Process Analysis

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

Process Implementation

Process Monitoring and Controlling