Detecting Regulatory Compliance for Business Process Models through Semantic Annotations

A given business process may face a large number of regulatory obligations the process may or comply with. Providing tools and techniques through which an evaluation of the compliance degree of a given process can be undertaken is seen as a key objective in emerging business process platforms. We address this problem through a diagnostic framework that provides the ability to assess the compliance gaps present in a given process. Checking whether a process is compliant with the rules involves enumerating all reachable states and is hence, in general, a hard search problem. The approach taken here allows to provide useful diagnostic information in polynomial time. The approach is based on two underlying techniques. A conceptually faithful representation for regulatory obligations is firstly provided by a formal rule language based on a non-monotonic deontic logic of violations. Secondly, processes are formalized through semantic annotations that allow a logical state space to be created...

• Type: Conference
• Year: 2008
• Where: BPM
• Authors: Guido Governatori, Jörg Hoffmann, Shazia Wasim Sadiq, Ingo Weber
• Keywords: BPM 2008, Business, Business Process, Business Process Models, Regulatory Obligations