On the Marriage of Theory and Practice in Data-Aware Business Processes via Low-Code

Ali Nour Eldin, Benjamin Dalmas, Walid Gaaloul

In recent years, there has been a growing interest in the verification of business process models. Despite their lack of formal characterization, these models are widely adopted in…