Start: Sep. 2019 Finish: Jan. 2023 Thesis Title: Formal Verification of BPMN Models Using Automatic Generation of OCL Constraints Supervisor: Dr. Shekoufeh Kolahdouz-Rahimi Advisor: Dr. Kevin Lano more
