Detecting Compliance with Business Rules in Ontology-Based Process Modeling

Extending business processes with semantic annotations has gained recent attention. This comprises relating process elements to ontology elements in order to create a shared conceptual and terminological understanding. In business process modeling, processes may have to adhere to a multitude of rules. A common way to detect compliance automatedly is studying the artifact of the process model itself. However, if an ontology exists as an additional artifact, it may prove beneficial to exploit this structure for compliance detection, as it provides a rich specification of the business process. We therefore propose an approach that models a rules-layer ontop of an ontology. Said rules-layer is implemented by a logic program and can be used to reason about the compliance of an underlying ontology. Our approach allows ad-hoc access to external ontologies, other than similar approaches that are reliant on a redundant logical representation of process model elements.

[1]  Hans Tompits,et al.  Combining answer set programming with description logics for the Semantic Web , 2004, Artif. Intell..

[2]  Kewen Wang,et al.  Extending Logic Programs with Description Logic Expressions for the Semantic Web , 2011, SEMWEB.

[3]  Thomas R. Gruber,et al.  Toward principles for the design of ontologies used for knowledge sharing? , 1995, Int. J. Hum. Comput. Stud..

[4]  Michael Fellmann,et al.  State-of-the-art of Business Process Compliance Approaches: A Survey (Extended Abstract) , 2014, EMISA.

[5]  Andreas Oberweis,et al.  Ontology Based Business Process Description , 2005, EMOI-INTEROP.

[6]  Guido Governatori,et al.  A Modal Defeasible Reasoner of Deontic Logic for the Semantic Web , 2011, Int. J. Semantic Web Inf. Syst..

[7]  Wil M. P. van der Aalst,et al.  Formalization and verification of event-driven process chains , 1999, Inf. Softw. Technol..

[8]  Dirk Fahland,et al.  Where Did I Misbehave? Diagnostic Information in Compliance Checking , 2012, BPM.

[9]  Ralf Laue,et al.  Semantic Technology in Business Process Modeling and Analysis. Part 1: Matching, Modeling Support, Correctness and Compliance , 2015, EMISA Forum.

[10]  Benoît Fraikin,et al.  Comparison of Model Checking Tools for Information Systems , 2010, ICFEM.

[11]  Christopher M. Schlick,et al.  An Empirical Analysis of Human Performance and Error in Process Model Development , 2011, ER.

[12]  Oliver Thomas,et al.  Checking the Semantic Correctness of Process Models - An Ontology-driven Approach Using Domain Knowledge and Rules , 2011, Enterp. Model. Inf. Syst. Archit. Int. J. Concept. Model..

[13]  Guillermo Ricardo Simari,et al.  Integration of rules and ontologies with defeasible logic programming , 2009 .

[14]  Grigoris Antoniou,et al.  Executable declarative business rules and their use in electronic commerce , 2001, SAC '02.

[15]  Volker Gruhn,et al.  Checking Properties of Business Process Models with Logic Programming , 2007, MSVVEIS.

[16]  Patrick Delfmann,et al.  Business process compliance checking – applying and evaluating a generic pattern matching approach for conceptual models in the financial sector , 2014, Information Systems Frontiers.

[17]  Shazia Wasim Sadiq,et al.  Modeling Control Objectives for Business Process Compliance , 2007, BPM.

[18]  Ian Horrocks,et al.  Description logic programs: combining logic programs with description logic , 2003, WWW '03.

[19]  Frank Teuteberg,et al.  Semantic Technologies for Business and Information Systems Engineering: Concepts and Applications , 2011 .

[20]  Guido Governatori,et al.  Norm Compliance in Business Process Modeling , 2010, RuleML.

[21]  Patrick Delfmann,et al.  Unified Enterprise Knowledge Representation with Conceptual Models - Capturing Corporate Language in Naming Conventions , 2009, ICIS.

[22]  Sebastian Rudolph,et al.  Semantic Web: Grundlagen , 2008 .

[23]  Oliver Thomas,et al.  Semantische Integration von Ontologien und Ereignisgesteuerten Prozessketten , 2006, EPK.

[24]  Patrick Delfmann,et al.  Supporting Business Process Improvement through Business Process Weakness Pattern Collections , 2015, Wirtschaftsinformatik.

[25]  Shazia Wasim Sadiq,et al.  Detecting Regulatory Compliance for Business Process Models through Semantic Annotations , 2008, Business Process Management Workshops.

[26]  Patrick Delfmann,et al.  The generic model query language GMQL - Conceptual specification, implementation, and runtime evaluation , 2015, Inf. Syst..