Rule Based Business Process Compliance
The authors reported on the development of a tool, BPCC, for checking the compliance of business processes with relevant regulations. The BPCC was successfully tested for real industry scale compliance problems. In the recent years, a few other compliance prototypes have been proposed: MoBuCom, Compass and SeaFlows. MoBuCom and Compass are based on Linear Temporal Logic (LTL) and mostly they just address \"Structural compliance\" (i.e., that the tasks are executed in the relative order defined by a constraint model).