Structuredness and its significance for correctness of process models

Recent research has shown that business process models from practice suffer from several quality problems. In particular, the correctness of control flow has been analyzed for industry-scale collections of process models revealing that error ratios are surprisingly high. In the past the structuredness property has been discussed as a guideline to avoid errors, first in research on programming, and later also in business process modeling. In this paper we investigate the importance of structuredness for process model correctness from an empirical perspective. We introduce definitions of two metrics that quantify the (un)structuredness of a process model, the degree of structuredness and the unmatched connector count. Then, we use the event-driven process chain models of the SAP reference model for validating the capability of these metrics to predict error probability. Our findings clearly support the importance of structuredness as a design principle for achieving correctness in process models.

[1]  Fei Cao,et al.  Compiling business processes: untangling unstructured loops in irreducible flow graphs , 2006, Int. J. Web Grid Serv..

[2]  Marta Indulska,et al.  How do practitioners use conceptual modeling in practice? , 2006, Data Knowl. Eng..

[3]  Alfred Holl,et al.  Structured Business Process Modeling (SBPM) , 2004 .

[4]  Hajo A. Reijers,et al.  A weighted coupling metric for business process models , 2007, CAiSE Forum.

[5]  Serge Haddad,et al.  Application and Theory of Petri Nets , 2012, Lecture Notes in Computer Science.

[6]  Jan Mendling,et al.  Transformation Strategies between Block-Oriented and Graph-Oriented Process Modelling Languages , 2008 .

[7]  Wil M. P. van der Aalst,et al.  Process Aware Information Systems: Bridging People and Software Through Process Technology , 2005 .

[8]  James M. Bieman,et al.  A quantitative framework for software restructuring , 1999 .

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

[10]  David W. Hosmer,et al.  Applied Logistic Regression , 1991 .

[11]  Wil M. P. van der Aalst,et al.  Translating unstructured workflow processes to readable BPEL: Theory and implementation , 2008, Inf. Softw. Technol..

[12]  Jan Mendling,et al.  Detection and prediction of errors in EPCs of the SAP reference model , 2008, Data Knowl. Eng..

[13]  Christoph Bussler,et al.  On Structured Workflow Modelling , 2000, CAiSE.

[14]  Jorge S. Cardoso,et al.  Process control-flow complexity metric: An empirical validation , 2006, 2006 IEEE International Conference on Services Computing (SCC'06).

[15]  Volker Gruhn,et al.  On Experiments for Measuring Cognitive Weights for Software Control Structures , 2007, 6th IEEE International Conference on Cognitive Informatics.

[16]  Armin Zimmermann,et al.  On the Suitability of Correctness Criteria for Business Process Models , 2005, Business Process Management.

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

[18]  Daniel L. Moody,et al.  Theoretical and practical issues in evaluating the quality of conceptual models: current state and future directions , 2005, Data Knowl. Eng..

[19]  Jan Mendling,et al.  Formalization and Verification of EPCs with OR-Joins Based on State and Context , 2007, CAiSE.

[20]  Volker Gruhn,et al.  Good and Bad Excuses for Unstructured Business Process Models , 2007, EuroPLoP.

[21]  Hajo A. Reijers,et al.  Cohesion and Coupling Metrics for Workflow Process Design , 2004, Business Process Management.

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

[23]  August-Wilhelm Scheer,et al.  ARIS - Business Process Modeling , 1998 .

[24]  Jan Mendling,et al.  What Makes Process Models Understandable? , 2007, BPM.

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

[26]  Mark Strembeck,et al.  Influence Factors of Understanding Business Process Models , 2008, BIS.

[27]  Wil M. P. van der Aalst,et al.  Complexity metrics for Workflow nets , 2009, Inf. Softw. Technol..

[28]  Dennis G. Kafura.  A survey of software metrics , 1985, ACM '85.

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

[30]  Jan Mendling,et al.  Understanding the Occurrence of Errors in Process Models Based on Metrics , 2007, OTM Conferences.

[31]  Mario Piattini,et al.  An Exploratory Experiment to Validate Measures for Business Process Models , 2007, RCIS.

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

[33]  Victor R. Basili,et al.  A Validation of Object-Oriented Design Metrics as Quality Indicators , 1996, IEEE Trans. Software Eng..

[34]  Fabio Casati,et al.  Business Process Management: 3rd International Conference, BPM 2005, Nancy, France, September 5-8, 2005, Proceedings (Lecture Notes in Computer Science) , 2005 .

[35]  Christopher Ferris,et al.  What are Web services? , 2003, CACM.

[36]  G. Oulsnam,et al.  Unravelling Unstructured Programs , 1982, Comput. J..

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

[38]  Volker Gruhn,et al.  Adopting the Cognitive Complexity Measure for Business Process Models , 2006, 2006 5th IEEE International Conference on Cognitive Informatics.

[39]  Jorge Cardoso,et al.  How to Measure the Control-flow Complexity of Web Processes and Workflows , 2005 .

[40]  Victor R. Basili,et al.  Analyzing Error-Prone System Structure , 1991, IEEE Trans. Software Eng..

[41]  Richard Bache.  Graph models of software , 1990 .

[42]  Mark E. Nissen,et al.  Redesigning Reengineering Through Measurement-Driven Inference , 1998, MIS Q..

[43]  Zahira Ammarguellat,et al.  A Control-Flow Normalization Algorithm and Its Complexity , 1992, IEEE Trans. Software Eng..

[44]  Wil M. P. van der Aalst,et al.  Bridging The Gap Between Business Models And Workflow Specifications , 2004, Int. J. Cooperative Inf. Syst..

[45]  Jan Mendling,et al.  A Discourse on Complexity of Process Models , 2006, Business Process Management Workshops.

[46]  Sandeep Purao,et al.  Object-oriented product metrics: A generic framework , 2007, Inf. Sci..

[47]  Arne Sølvberg,et al.  Understanding quality in conceptual modeling , 1994, IEEE Software.

[48]  David J. Gilmore,et al.  Comprehension and Recall of Miniature Programs , 1984, Int. J. Man Mach. Stud..

[49]  Ron Weber,et al.  Research Commentary: Information Systems and Conceptual Modeling - A Research Agenda , 2002, Inf. Syst. Res..

[50]  Sandro Morasca,et al.  Measuring attributes of concurrent software specifications in Petri nets , 1999, Proceedings Sixth International Software Metrics Symposium (Cat. No.PR00403).

[51]  Mayank Gupta,et al.  Structural metrics for goal based business process design and evaluation , 2005, Bus. Process. Manag. J..

[52]  Volker Gruhn,et al.  Complexity Metrics for business Process Models , 2006, BIS.

[53]  Frank Leymann,et al.  Faster and More Focused Control-Flow Analysis for Business Process Models Through SESE Decomposition , 2007, ICSOC.

[54]  Elaine J. Weyuker,et al.  Evaluating Software Complexity Measures , 2010, IEEE Trans. Software Eng..

[55]  Volker Gruhn,et al.  What business process modelers can learn from programmers , 2007, Sci. Comput. Program..

[56]  J. Krogstie,et al.  Formalization and verification of EPCs with OR-joins based on state and context , 2007 .

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

[58]  Eric S. Roberts,et al.  Loop exits and structured programming: reopening the debate , 1995, SIGCSE.

[59]  Jan Mendling,et al.  On a Quest for Good Process Models: The Cross-Connectivity Metric , 2008, CAiSE.

[60]  Tze-Jie Yu,et al.  Identifying Error-Prone Software—An Empirical Study , 1985, IEEE Transactions on Software Engineering.

[61]  Robin W. Whitty,et al.  Axiomatic Approach to Software Metrication Through Program Decomposition , 1986, Comput. J..