PAIS Lab seminar "Multi-Perspective Process Mining and Verifications"
19:00 (Moscow time)
Multi-Perspective Process Mining and Verification
Massimiliano de Leoni
Assistant Professor of Computer Science at University of Padua
Join the seminar using Zoom: https://zoom.us/j/95004126549
The lion's share of attention in BPM has been on the control-flow perspective of process models, namely on the ordering of activities, thereby ignoring the view on data-driven decisions, and the constraints on resources and time (e.g. deadlines). Models that only focus on the control flow tend to be less precise, thus enabling executions that the real process constraints would disallow. Therefore, the application of, e.g., process mining techniques becomes less insightful, due to conclusions based on an imprecise model. As an example, checking the conformance of an imprecise/underfitting model may yield to diagnose unfitting traces as fitting. This talk will touch upon the multi-perspective process conformance checking, along with a discussion on how to discover a process model that incorporate perspectives other than the only control-flow. Finally, the discussion will also be on how to verify that multi-perspective process models are sound. Verification of model soundness is crucial when the models are used as input for process-mining techniques, which typically assume soundness, and might return unreliable results otherwise. Furthermore, if models are used to configure information systems, an unsound model leads to unsound process executions. The talk will both focus on the foundations of the techniques discussed and discuss some real-life applications.