Visualizing Compliance Verification Results on Process Trees

Provided and advised by: Johannes Loebbecke

Motivation
Business Process Compliance (BPC) ensures that process executions adhere to regulatory requirements. Structural verification approaches, such as the Process Tree Verifier (PTV), check compliance requirements directly on executable process trees and produce detailed reasoning traces. However, the output currently consists of verbose, flat text logs that are hard for process modelers and compliance officers to interpret quickly. While prior work has explored compliance visualizations across multiple process models and instances, finding that color is most effective for quick overviews and text for in-depth analysis, these approaches are initial and difficult to generalize. How rich, per-requirement verification traces – including assurance levels and detailed reasoning chains – can be effectively mapped onto the process tree structure itself remains an open question.
Tasks:
(1) Requirements analysis. Survey existing work business process compliance with a specific focus on visualization approaches.
(2) Visualization design. Design and prototype different compliance visualization options integrated into the CPEE cockpit. Candidate visualizations could include: Inline coloring, Compliance timeline.
(3) Prototype implementation. Implement extensions to the existing CPEE compliance cockpit, consuming the XES-compatible compliance log produced by the PTV.
(4) Evaluation. Evaluate the prototype in a user study with process modelers.

Recommended Readings:
• Loebbecke et al. (2025). Tree-Based Compliance Verification: Bridging the Gap Between Compliance Requirements and Process Execution. ER.
• Gall et al. (2021). Evaluating Compliance State Visualizations for Multiple Process Models and Instances. BPM.
Topics: Process Compliance, Visualization.
The application must contain:
• Application Form (check the requirements on the website).
• Current Transcript of Records.
• CV.
Please send the application to bachelor.i17(at)in.tum.de OR master.i17(at)in.tum.de
(depending on your study) AND (in cc) johannes.loebbecke(at)tum.de.