Ensuring the canonicity of process models

Process models play an important role for specifying requirements of business-related software. However, the usefulness of process models is highly dependent on their quality. Recognizing this, researches have proposed various techniques for the automated quality assurance of process models. A considerable shortcoming of these techniques is the assumption that each activity label consistently refers to a single stream of action. If, however, activities textually describe control flow related aspects such as decisions or conditions, the analysis results of these tools are distorted. Due to the ambiguity that is associated with this misuse of natural language, also humans struggle with drawing valid conclusions from such inconsistently specified activities. In this paper, we therefore introduce the notion of canonicity to prevent the mixing of natural language and modeling language. We identify and formalize non-canonical patterns, which we then use to define automated techniques for detecting and refactoring activities that do not comply with it. We evaluated these techniques by the help of four process model collections from industry, which confirmed the applicability and accuracy of these techniques.

[1]  Michael Rosemann,et al.  Potential pitfalls of process modeling: part A , 2006, Bus. Process. Manag. J..

[2]  Giancarlo Guizzardi,et al.  Requirements engineering based on business process models: A case study , 2009, 2009 13th Enterprise Distributed Object Computing Conference Workshops.

[3]  Akhil Kumar,et al.  Research Commentary: Workflow Management Issues in e-Business , 2002, Inf. Syst. Res..

[4]  Agnes Koschmider,et al.  Automatic User Assistance For Business Process Modeling , 2007, RCIS.

[5]  Marco Carbone,et al.  Formal Semantics and Implementation of BPMN 2.0 Inclusive Gateways , 2010, WS-FM.

[6]  Akhil Kumar,et al.  XML - Based Schema Definition for Support of Interorganizational Workflow , 2003, Inf. Syst. Res..

[7]  Patrick Delfmann,et al.  Supporting Distributed Conceptual Modelling through Naming Conventions , 2015 .

[8]  Juliane Dehnert,et al.  Relaxed Soundness of Business Processes , 2001, CAiSE.

[9]  Mathias Weske,et al.  Efficient Consistency Measurement Based on Behavioral Profiles of Process Models , 2011, IEEE Transactions on Software Engineering.

[10]  John Krogstie,et al.  Process models representing knowledge for action: a revised quality framework , 2006, Eur. J. Inf. Syst..

[11]  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.

[12]  Wil M.P. van der Aalst,et al.  Getting rid of OR-joins and multiple start events in business process models , 2008, Enterp. Inf. Syst..

[13]  Jan Mendling,et al.  Seven process modeling guidelines (7PMG) , 2010, Inf. Softw. Technol..

[14]  Bruce Silver,et al.  Bpmn Method And Style , 2009 .

[15]  Agnes Koschmider,et al.  User Assistance For Business Process Model Decomposition , 2007 .

[16]  Niels Lohmann,et al.  Analyzing interacting WS-BPEL processes using flexible model generation , 2008, Data Knowl. Eng..

[17]  Wil M. P. van der Aalst,et al.  Workflow Exception Patterns , 2006, CAiSE.

[18]  Remco M. Dijkman,et al.  Semantics and analysis of business process models in BPMN , 2008, Inf. Softw. Technol..

[19]  Jan Mendling,et al.  Automatic Detection and Resolution of Lexical Ambiguity in Process Models , 2015, IEEE Transactions on Software Engineering.

[20]  Wil M. P. van der Aalst,et al.  Diagnosing Workflow Processes using Woflan , 2001, Comput. J..

[21]  Henrik Leopold.  Natural Language in Business Process Models: Theoretical Foundations, Techniques, and Applications , 2013 .

[22]  Moe Thandar Wynn,et al.  Reduction rules for YAWL workflows with cancellation regions and OR-joins , 2009, Inf. Softw. Technol..

[23]  Paolo Tonella,et al.  Supporting Ontology-Based Semantic Annotation of Business Processes with Automated Suggestions , 2009, BMMDS/EMMSAD.

[24]  John Krogstie,et al.  Defining quality aspects for conceptual models , 1995, ISCO.

[25]  Jan Mendling,et al.  Supporting Process Model Validation through Natural Language Generation , 2014, IEEE Transactions on Software Engineering.

[26]  Wil M. P. van der Aalst,et al.  Pattern-Based Translation of BPMN Process Models to BPEL Web Services , 2008, Int. J. Web Serv. Res..

[27]  Javier Fabra,et al.  Automatic execution of business process models: Exploiting the benefits of Model-driven Engineering approaches , 2012, J. Syst. Softw..

[28]  Karsten Wolf,et al.  Generating Petri Net State Spaces , 2007, ICATPN.

[29]  Dan Klein,et al.  Fast Exact Inference with a Factored Model for Natural Language Parsing , 2002, NIPS.

[30]  Andrew Y. Ng,et al.  Parsing with Compositional Vector Grammars , 2013, ACL.

[31]  Jan Mendling,et al.  On the refactoring of activity labels in business process models , 2012, Inf. Syst..

[32]  Bruce Silver,et al.  BPMN Method and style : with BPMN implementer's guide. , 2011 .

[33]  Vincenzo Gervasi,et al.  On the Systematic Analysis of Natural Language Requirements with CIRCE , 2006, Automated Software Engineering.

[34]  Moe Thandar Wynn,et al.  Soundness of workflow nets: classification, decidability, and analysis , 2011, Formal Aspects of Computing.

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

[36]  Leonardo Guerreiro Azevedo,et al.  Detection of naming convention violations in process models for different languages , 2013, Decis. Support Syst..

[37]  Jan Mendling,et al.  Beyond soundness: on the verification of semantic business process models , 2010, Distributed and Parallel Databases.

[38]  Jörg Becker,et al.  Formalizing Linguistic Conventions for Conceptual Models , 2009, ER.

[39]  Peter Trkman,et al.  International Journal of Information Management , 2022 .

[40]  Remco M. Dijkman,et al.  Probabilistic Optimization of Semantic Process Model Matching , 2012, BPM.

[41]  Dirk Fahland,et al.  Analysis on demand: Instantaneous soundness checking of industrial business process models , 2011, Data Knowl. Eng..

[42]  Jan Mendling,et al.  Activity labeling in process modeling: Empirical insights and recommendations , 2010, Inf. Syst..

[43]  Remco M. Dijkman,et al.  Managing large collections of business process models - Current techniques and challenges , 2012, Comput. Ind..

[44]  Natalia Sidorova,et al.  Soundness verification for conceptual workflow nets with data: Early detection of errors with the most precision possible , 2011, Inf. Syst..

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

[46]  Jon Atle Gulla,et al.  Verification of Conceptual Models Based on Linguistic Knowledge , 1997, Data Knowl. Eng..

[47]  Jan Mendling,et al.  When Language Meets Language: Anti Patterns Resulting from Mixing Natural and Modeling Language , 2014, Business Process Management Workshops.

[48]  Jörg Becker,et al.  Towards increased comparability of conceptual models - Enforcing naming conventions through domain thesauri and linguistic grammars , 2009, ECIS.

[49]  Wil M. P. van der Aalst,et al.  Workflow Resource Patterns: Identification, Representation and Tool Support , 2005, CAiSE.

[50]  Jan Mendling,et al.  What we can learn from Quality Issues of BPMN Models from Industry , 2015 .

[51]  Jörg Becker,et al.  Guidelines of Business Process Modeling , 2000, Business Process Management.

[52]  Reinhard Schütte,et al.  The Guidelines of Modeling - An Approach to Enhance the Quality in Information Models , 1998, ER.

[53]  T.C. Lethbridge,et al.  Guide to the Software Engineering Body of Knowledge (SWEBOK) and the Software Engineering Education Knowledge (SEEK) - a preliminary mapping , 2001, 10th International Workshop on Software Technology and Engineering Practice.

[54]  Wil M. P. van der Aalst,et al.  Workflow Patterns: On the Expressive Power of (Petri-net-based) Workflow Languages. , 2002 .

[55]  Volker Gruhn,et al.  Detecting Common Errors in Event-Driven Process Chains by Label Analysis , 2011, Enterp. Model. Inf. Syst. Archit. Int. J. Concept. Model..

[56]  Jan Mendling,et al.  Spotting Terminology Deficiencies in Process Model Repositories , 2013, BMMDS/EMMSAD.

[57]  Wil M. P. van der Aalst,et al.  Workflow Data Patterns: Identification, Representation and Tool Support , 2005, ER.

[58]  Wil M. P. van der Aalst,et al.  Verification of Workflow Nets , 1997, ICATPN.

[59]  Manfred Reichert,et al.  Workflow Time Patterns for Process-Aware Information Systems , 2010, BMMDS/EMMSAD.

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

[61]  Robert W. Blanning,et al.  A Formal Approach to Workflow Analysis , 2000, Inf. Syst. Res..

[62]  Thomas Teufel,et al.  Sap R/3 Process Oriented Implementation , 1998 .

[63]  Barry W. Boehm.  Understanding and Controlling Software Costs , 1988 .

[64]  Dan Klein,et al.  Accurate Unlexicalized Parsing , 2003, ACL.

[65]  Rik Eshuis,et al.  Tool support for verifying UML activity diagrams , 2004, IEEE Transactions on Software Engineering.

[66]  Frank Puhlmann,et al.  Soundness Verification of Business Processes Specified in the Pi-Calculus , 2007, OTM Conferences.

[67]  Marlon Dumas,et al.  Translating Standard Process Models to BPEL , 2006, CAiSE.