Bridging Imperative Process Models and Process Data Queries-Translation and Relaxation. - Abdur Rehman Anwar Qureshi; Adrian Rebmann; Timotheus Kampik; Matthias Weidlich 001; Mathias Weske (CoRR, 2025)