Rule Determination and Process Verification Using Business Capabilities

Business architectures are an important part of any enterprise architecture containing business processes and business capabilities. High quality business processes are key factors for the success of a company. Hence, the quality and the correctness or compliance have to be verified. We propose to use the business capabilities for an efficient and easily understandable definition of rules to perform this verification. The rule specification is based on rule patterns to define requirements from an operational point of view. These patterns are derived from experience gained in projects for modeling and optimization of business processes with extensive manual checks. For the rule validation we rely on model checking as an established technology to cope with the dynamic properties of processes. We present a tool based approach to automate this verification integrated in a unique system with a common user interface.

[1]  Stephan Merz,et al.  Model Checking , 2000 .

[2]  James V. Hansen,et al.  Model checking for design and assurance of e-Business processes , 2005, Decis. Support Syst..

[3]  Wil M. P. van der Aalst,et al.  Semantic Process Mining Tools: Core Building Blocks , 2008, ECIS.

[4]  Jerzy Tiuryn,et al.  Logics of Programs , 1991, Handbook of Theoretical Computer Science, Volume B: Formal Models and Sematics.

[5]  Elke Pulvermüller,et al.  Developer-friendly verification of process-based systems , 2010, Knowl. Based Syst..

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

[7]  Giuseppe Berio,et al.  An ontology for enterprise and information systems modelling , 2012, Appl. Ontology.

[8]  Jan Mendling,et al.  Instantiation Semantics for Process Models , 2008, BPM.

[9]  Kurt Sandkuhl.  Validation and Use of Information Demand Patterns in Higher Education , 2010, BIS.

[10]  Kenneth L. McMillan,et al.  Symbolic model checking , 1992 .

[11]  Zahir Tari,et al.  On the Move to Meaningful Internet Systems: OTM 2008 , 2008, Lecture Notes in Computer Science.

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

[13]  van der Wmp Wil Aalst,et al.  Workflow data patterns , 2004 .

[14]  Jorge S. Cardoso,et al.  Measuring the Compliance of Processes with Reference Models , 2009, OTM Conferences.

[15]  van der Wmp Wil Aalst,et al.  Workflow control-flow patterns : a revised view , 2006 .

[16]  Edmund M. Clarke,et al.  Characterizing Correctness Properties of Parallel Programs Using Fixpoints , 1980, ICALP.

[17]  Janni Nielsen,et al.  European Conference on Information Systems (ECIS) , 2008 .

[18]  Sven Feja,et al.  Model Checking with Graphical Validation Rules , 2008, 15th Annual IEEE International Conference and Workshop on the Engineering of Computer Based Systems (ecbs 2008).

[19]  Jörg Becker,et al.  Supporting Business Process Compliance in Financial Institutions - A Model-Driven Approach , 2011, Wirtschaftsinformatik.

[20]  Helmut Veith,et al.  25 Years of Model Checking - History, Achievements, Perspectives , 2008, 25 Years of Model Checking.

[21]  Witold Abramowicz.  Business Information Systems Workshops , 2014, Lecture Notes in Business Information Processing.

[22]  Andreas Speck,et al.  BAM: A Requirements Validation and Verification Framework for Business Process Models , 2011, 2011 11th International Conference on Quality Software.

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

[24]  Gregor Engels,et al.  Verification of Business Process Quality Constraints Based on Visual Process Patterns , 2007, First Joint IEEE/IFIP Symposium on Theoretical Aspects of Software Engineering (TASE '07).

[25]  Robin Milner,et al.  On Observing Nondeterminism and Concurrency , 1980, ICALP.

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

[27]  Edmund M. Clarke,et al.  The Birth of Model Checking , 2008, 25 Years of Model Checking.

[28]  Olegas Vasilecas,et al.  Business Rule Model Integration into the Model of Transformation Driven Software Development , 2009, ADBIS.

[29]  Edmund M. Clarke,et al.  Design and Synthesis of Synchronization Skeletons Using Branching-Time Temporal Logic , 1981, Logic of Programs.

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

[31]  Wil M. P. van der Aalst,et al.  Process Discovery: Capturing the Invisible , 2010, IEEE Comput. Intell. Mag..

[32]  Olivier Teytaud,et al.  Intelligent Agents for the Game of Go , 2010, IEEE Computational Intelligence Magazine.