Compliance validation and diagnosis of business data constraints in business processes at runtime

Business processes involve data that can be modified and updated by various activities at any time. The data involved in a business process can be associated with flow elements or data stored. These data must satisfy the business compliance rules associated with the process, where business compliance rules are policies or statements that govern the behaviour of a company. To improve and automate the validation and diagnosis of compliance rules based on the description of data semantics (called Business Data Constraints), we propose a framework where dataflow variables and stored data are analyzed. The validation and diagnosis process is automated using Constraint Programming, to permit the detection and identification of possibly unsatisfiable Business Data Constraints, even if the data involved in these constraints are not all instantiated. This implies that the potential errors can be determined in advance. Furthermore, a language to describe Business Data Constraints is proposed, for the improvement of user-oriented aspects of the business process description. This language allows a business expert to write Business Data Constraints that will be automatically validated in run-time, without the support of an information technology expert. HighlightsThis paper proposes an enlargement of the business process model for data values.A language is defined for Business Data Constraints associated to each activity.The validation and diagnosis is developed at runtime according to the data values.It permits an early identification of the non-compliance using Constraint Programming.

[1]  Olivia R. Liu Sheng,et al.  Formulating the Data-Flow Perspective for Business Process Management , 2006, Inf. Syst. Res..

[2]  Mathias Weske,et al.  Visually specifying compliance rules and explaining their violations for business processes , 2011, J. Vis. Lang. Comput..

[3]  Qi He.  Detecting Runtime Business Process Compliance with Artifact Lifecycles , 2013 .

[4]  Paola Mello,et al.  Checking Compliance of Execution Traces to Business Rules , 2008, Business Process Management Workshops.

[6]  Michael J. Maher,et al.  Chasing constrained tuple-generating dependencies , 1996, PODS.

[7]  Hugh Darwen.  Relational database , 2003 .

[8]  Marcel Staroswiecki,et al.  A Comparative Analysis of AI and Control Theory Approaches to Model-based Diagnosis , 2000, ECAI.

[9]  Mathias Weske,et al.  Business Process Management: A Survey , 2003, Business Process Management.

[10]  Jörg Becker,et al.  Modeling and Analysis of Business Process Compliance , 2011, Governance and Sustainability in Information Systems.

[11]  Marco Montali,et al.  Monitoring Business Constraints with Linear Temporal Logic: An Approach Based on Colored Automata , 2011, BPM.

[12]  Maria E. Orlowska,et al.  Specification and validation of process constraints for flexible workflows , 2005, Inf. Syst..

[13]  María Teresa Gómez López,et al.  NMUS: Structural Analysis for Improving the Derivation of All MUSes in Overconstrained Numeric CSPs , 2007, CAEPIA.

[14]  Mathias Weske,et al.  Efficient Compliance Checking Using BPMN-Q and Temporal Logic , 2008, BPM.

[15]  Rik Eshuis,et al.  Diagnosing correctness of semantic workflow models , 2013, Data Knowl. Eng..

[16]  Peter J. Stuckey,et al.  Finding all minimal unsatisfiable subsets , 2003, PPDP '03.

[17]  Susan L. Epstein,et al.  Learning cluster-based structure to solve constraint satisfaction problems , 2010, Annals of Mathematics and Artificial Intelligence.

[18]  María Teresa Gómez López,et al.  Using Constraint Programming in Selection Operators for Constraint Databases , 2014, Expert Syst. Appl..

[19]  Peter Dadam,et al.  On Enabling Data-Aware Compliance Checking of Business Process Models , 2010, ER.

[20]  Thomas Kurpick,et al.  Checking Correctness and Compliance of Integrated Process Models , 2008, 2008 10th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing.

[21]  Ahmed Awad,et al.  Automatic Generation of a Data-Centered View of Business Processes , 2011, CAiSE.

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

[23]  J. Reggia,et al.  Abductive Inference Models for Diagnostic Problem-Solving , 1990, Symbolic Computation.

[24]  Richard J. Wallace,et al.  Directed Arc Consistency Preprocessing , 1995, Constraint Processing, Selected Papers.

[25]  Ying Liu,et al.  A static compliance-checking framework for business process models , 2007, IBM Syst. J..

[26]  Peter C. Cheeseman,et al.  Where the Really Hard Problems Are , 1991, IJCAI.

[27]  Peter Dadam,et al.  On enabling integrated process compliance with semantic constraints in process management systems , 2012, Inf. Syst. Frontiers.

[28]  Wil M. P. van der Aalst,et al.  Data-Flow Anti-patterns: Discovering Data-Flow Errors in Workflows , 2009, CAiSE.

[29]  Hongyan Ma.  Process-aware information systems: Bridging people and software through process technology: Book Reviews , 2007 .

[30]  Guido Governatori,et al.  Compliance aware business process design , 2008 .

[31]  M. Weske,et al.  Towards Resolving Compliance Violations in Business Process Models , 2009 .

[32]  Rafael M. Gasca,et al.  Max-CSP Approach for Software Diagnosis , 2002, IBERAMIA.

[33]  Rafael M. Gasca,et al.  Fault diagnosis in databases for business processes , 2010 .

[34]  Harald C. Gall,et al.  Generation of Business Process Models for Object Life Cycle Compliance , 2007, BPM.

[35]  Philippe Jégou,et al.  Computing and Exploiting Tree-Decompositions for Solving Constraint Networks , 2005, CP.

[36]  Xavier Lorca,et al.  Choco: an Open Source Java Constraint Programming Library , 2008 .

[37]  Rina Dechter,et al.  Constraint Processing , 1995, Lecture Notes in Computer Science.

[38]  María Teresa Gómez López,et al.  Constraint-Driven Approach to Support Input Data Decision-Making in Business Process Management Systems , 2011, ISD.

[39]  Sira Yongchareon,et al.  A Framework for Behavior-Consistent Specialization of Artifact-Centric Business Processes , 2012, BPM.

[40]  Paul Browne,et al.  JBoss Drools Business Rules , 2009 .

[41]  I. Weber,et al.  Semantic Business Process Validation , 2008 .

[42]  Niels Lohmann.  Compliance by design for artifact-centric business processes , 2013, Inf. Syst..

[43]  Herman Lam,et al.  Achieving dynamic inter-organizational workflow management by integrating business processes, events and rules , 2002, Proceedings of the 35th Annual Hawaii International Conference on System Sciences.

[44]  N. Ilker Altintas,et al.  Business Rules Segregation for Dynamic Process Management with an Aspect-Oriented Framework , 2006, Business Process Management Workshops.

[45]  Manfred Reichert,et al.  Beyond rigidity – dynamic process lifecycle support , 2009, Computer Science - Research and Development.

[46]  Marwane El Kharbili,et al.  Business Process Compliance Checking: Current State and Future Challenges , 2008, MobIS.

[47]  Frank Dignum,et al.  Business Rules and Decision Processes in Mediated Business Coordination , 2008, AAAI Spring Symposium: AI Meets Business Rules and Process Management.

[48]  Marta Indulska,et al.  Modeling languages for business processes and business rules: A representational analysis , 2009, Inf. Syst..

[49]  Krzysztof R. Apt,et al.  Principles of constraint programming , 2003 .

[50]  Akhil Kumar,et al.  Conceptual model for online auditing , 2011, Decis. Support Syst..

[51]  Jr. Ronald G. Ross.  Business Rule Concepts , 2013 .

[52]  Olivia R. Liu Sheng,et al.  Data Flow Modeling and Verification in Business Process Management , 2004, AMCIS.

[53]  Peter Dadam,et al.  Integration and verification of semantic constraints in adaptive process management systems , 2008, Data Knowl. Eng..

[54]  Donald C. McDermid,et al.  Integrated Business Process Management: Using State-Based Business Rules to Communicate between Disparate Stakeholders , 2003, Business Process Management.

[55]  María Teresa Gómez López,et al.  Developing a labelled object-relational constraint database architecture for the projection operator , 2009, Data Knowl. Eng..

[56]  E. F. Codd,et al.  Relational database: a practical foundation for productivity , 1982, CACM.

[57]  Irina Rychkova,et al.  Exploring the Alloy operational semantics for case management process modeling , 2013, IEEE 7th International Conference on Research Challenges in Information Science (RCIS).

[58]  Peter Dadam,et al.  Design and Verification of Instantiable Compliance Rule Graphs in Process-Aware Information Systems , 2010, CAiSE.

[59]  Mathias Weske,et al.  Business Process Management: Concepts, Languages, Architectures , 2007 .

[60]  María Teresa Gómez López,et al.  Explaining the Incorrect Temporal Events during Business Process Monitoring by Means of Compliance Rules and Model-Based Diagnosis , 2013, 2013 17th IEEE International Enterprise Distributed Object Computing Conference Workshops.