Synthesis of Regulation Compliant Business Processes

Organisations have to cope with large numbers of business rules and existing regulations governing the in which they operate. Such are difficult maintain due their size complexity, it is increasingly challenging ensure that each process adheres those rules. As such, automated extraction processes from has three clear advantages: (1) visualisation all possible executions allowed by rules, (2) execution compliance design, (3) identification “inefficiencies” Existing approaches, however, only allow for generation partial traces based on input specifications cannot handle many different cases resulting a full process. This paper presents formal method visualise operationalise such sets as verifiable compliant allows us analyse paths. Additionally, we formally prove correctness generated our method. The approach implemented tool evaluated both performance correctness, showing even highly complex performs well outperforms well-known state-of-the-art approach. Evaluation real-life shows feasibility presented