Since the data-aware business process usually covers the control flow and data flow, and both of them have a direct impact on its execution, it is challenging to ensure its correctness. In this ...