Beyond well-known soundness criteria, business processes are also subject to compliance rules; i.e. semantic constraints that stem from standards, guidelines and laws. In this context, challenges arise not only from the need for unambiguous and clear compliance rule notations, which, in turn, should be easy to understand for domain experts as well. Furthermore, the compliance of business process with such rules can be ensured and verified at different phases of the process life cycle (e.g. modelling phase). However, when (possible) compliance violations are detected, it is desirable to assist users by highlighting possible; e.g. to support them in healing or compensating the violations.
This talk presents a selection of approaches that have been developed in Ulm and address various facets of business process compliance. Beyond the aforementioned issues, the latter facets also include compliance in the context of cross-organizational processes as well as they provide support for data-, time-, and resource-aware compliance rules.