Applying Pattern-Based Graphical Validation Rules to Business Process Models

Business Process Models (BPMs) are widely used for documentation and (model driven) software development. Due to the increasing complexity of BPMs automated checking is unavoidable to ensure the quality of BPMs. This requires formal specification methods that address high level (domain-specific) requirements (e.g. Compliance) in a manner that is comprehensible for stakeholders without mathematical background and provide a high level of generalizability. In previous publications we conceptually introduced the G-CTL notation for formal graphical validation rules, tackling these issues. Based on G-CTL, we present a pattern based specification and matching mechanism for such graphical validation rules. We describe the mapping of the graphical G-CTL rules into textual CTL instances for the particular BPM to be checked. Moreover, the approach enhances the generalizability by supporting the abstraction from concrete names of elements in BPMs and it's application is not limited to a particular BPM notation.

[1]  Ekkart Kindler,et al.  On the semantics of EPCs: Resolving the vicious circle , 2006, Data Knowl. Eng..

[2]  Andreas Speck,et al.  Integrated privacy modeling and validation for business process models , 2012, EDBT-ICDT '12.

[3]  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).

[4]  Gregor Engels,et al.  Activity diagram patterns for modeling quality constraints in business processes , 2005, MoDELS'05.

[5]  Gregor Engels,et al.  A Pattern-driven Development Process for Quality Standard-conforming Business Process Models , 2006, Visual Languages and Human-Centric Computing (VL/HCC'06).

[6]  Jörg Becker,et al.  Generalizability and Applicability of Model-Based Business Process Compliance-Checking Approaches — A State-of-the-Art Analysis and Research Roadmap , 2012 .

[7]  Michael Huth,et al.  Logic in computer science - modelling and reasoning about systems , 2000 .

[8]  Jian Yu,et al.  Pattern Based Property Specification and Verification for Service Composition , 2006, WISE.

[9]  Peter Liggesmeyer,et al.  Software-Qualität - testen, analysieren und verifizieren von Software , 2002 .

[10]  Ahmed Mahmoud Hany Aly Awad,et al.  A compliance management framework for business process models , 2010 .

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

[12]  Bart Meyers,et al.  Towards domain-specific property languages: the ProMoBox approach , 2013, DSM '13.

[13]  Elke Pulvermüller,et al.  Rule Determination and Process Verification Using Business Capabilities , 2012, PoEM.

[14]  Dirk Riehle,et al.  Understanding and Using Patterns in Software Development , 1996, Theory Pract. Object Syst..

[15]  Marcel Verhoef,et al.  Formal Methods Going Mainstream: Costs, Benefits, Experiences , 2006 .

[16]  Andrew B. Whinston,et al.  E-Process Design and Assurance Using Model Checking , 2000, Computer.

[17]  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).

[18]  Akhil Kumar,et al.  A Rule-Based Framework Using Role Patterns for Business Process Compliance , 2008, RuleML.

[19]  Wil M. P. van der Aalst,et al.  Workflow Patterns , 2004, Distributed and Parallel Databases.

[20]  Elke Pulvermüller,et al.  Integrating Validation Techniques for Process-based Models , 2013, ENASE.

[21]  Jan Mendling,et al.  Metrics for Process Models: Empirical Foundations of Verification, Error Prediction, and Guidelines for Correctness , 2008, Lecture Notes in Business Information Processing.

[22]  George S. Avrunin,et al.  Patterns in property specifications for finite-state verification , 1999, Proceedings of the 1999 International Conference on Software Engineering (IEEE Cat. No.99CB37002).

[23]  Daniel Jackson,et al.  Software Abstractions - Logic, Language, and Analysis , 2006 .