Three Decades of Formal Methods in Business Process Compliance: A Systematic Literature Review

Hugo A. López, Thomas T. Hildebrandt

Digitalization efforts often face a key challenge: business processes must not only be efficient in achieving their goals but also adhere to legal regulations. Business process com…