Human and automatic modularizations of process models to enhance their comprehension

Modularization is a widely advocated mechanism to manage a business process model's size and complexity. However, the widespread use of subprocesses in models does not rest on solid evidence for its benefits to enhance their comprehension, nor are the criteria clear how to identify subprocesses. In this paper, we describe an empirical investigation to test the effectiveness of using subprocesses in real-life process models. Our results suggest that subprocesses may foster the understanding of a complex business process model by their ''information hiding'' quality. Furthermore, we explored different categories of criteria that can be used to automatically derive process fragments that seem suitable to capture as subprocesses. From this exploration, approaches that consider the connectedness of subprocesses seem most attractive to pursue. This insight can be used to develop tool support for the modularization of business process models.

[1]  Peter Meso,et al.  How Good Are These UML Diagrams? An Empirical Test of the Wand and Weber Good Decomposition Model , 2002, ICIS.

[2]  Juha Puustjärvi,et al.  Reusability and Modularity in Transactional Workflows , 1997, Inf. Syst..

[3]  Miguel Goulão,et al.  Coupling and Cohesion as Modularization Drivers: Are We Being Over-Persuaded? , 2001, CSMR.

[4]  Mathias Weske,et al.  Efficient Consistency Measurement Based , 2011 .

[5]  Wil M. P. van der Aalst,et al.  Configurable Workflow Models , 2008, Int. J. Cooperative Inf. Syst..

[6]  Wil vanderAalst,et al.  Workflow Management: Models, Methods, and Systems , 2004 .

[7]  Mario Piattini,et al.  A family of experiments to validate metrics for software process models , 2005, J. Syst. Softw..

[8]  Paolo Nesi,et al.  Proceedings of the Third European Conference on Software Maintenance and Reengineering, Cahapel of St. Agnes, University of Amsterdam, the Netherlands, March 3-5, 1999 , 1999 .

[9]  Manfred Reichert,et al.  Workflow management versus case handling: results from a controlled software experiment , 2008, SAC '08.

[10]  Jörg Desel,et al.  Free Choice Petri Nets (Cambridge Tracts in Theoretical Computer Science) , 2005 .

[11]  Michael Rosemann,et al.  Factors and measures of business process modelling: model building through a multiple case study , 2005, Eur. J. Inf. Syst..

[12]  Lutz Prechelt,et al.  Kontrollierte Experimente in der Softwaretechnik - Potenzial und Methodik , 2001 .

[13]  Manfred Reichert,et al.  Refactoring Process Models in Large Process Repositories , 2008, CAiSE.

[14]  Nereu F. Kock,et al.  Product flow, breadth and complexity of business processes: An empirical study of 15 business processes in three organizations , 1996 .

[15]  Ken Lunn,et al.  Business processes--attempts to find a definition , 2003, Inf. Softw. Technol..

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

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

[18]  T. Mexia,et al.  Author ' s personal copy , 2009 .

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

[20]  Stefanie Rinderle-Ma,et al.  Change Patterns and Change Support Features in Process-Aware Information Systems , 2007, Seminal Contributions to Information Systems Engineering.

[21]  Frank Leymann,et al.  Workflow-Based Applications , 1997, IBM Syst. J..

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

[23]  Iris Vessey,et al.  Cognitive Fit: A Theory‐Based Analysis of the Graphs Versus Tables Literature* , 1991 .

[24]  Christoph Bussler,et al.  A general framework for the execution of heterogenous programs in workflow management systems , 1996, Proceedings First IFCIS International Conference on Cooperative Information Systems.

[25]  Tony Andrews.  Business Process Execution Language for Web Services Version 1.1 , 2003 .

[26]  Rob Davis BSc.  Business Process Modelling with ARIS: A Practical Guide , 2001, Springer London.

[27]  Wil M. P. van der Aalst,et al.  Proceedings of the 24th international conference on Applications and theory of Petri nets , 2003 .

[28]  Jorge S. Cardoso.  Poseidon: a Framework to Assist Web Process Design Based on Business Cases , 2006, Int. J. Cooperative Inf. Syst..

[29]  Matjaz B. Juric,et al.  Business process execution language for web services , 2004 .

[30]  Kevin Crowston,et al.  Tools for Inventing Organizations: Toward a Handbook of Organizational Processes , 1999 .

[31]  Stefan Jablonski,et al.  MOBILE: A Modular Workflow Model and Architecture , 1994 .

[32]  Hajo A. Reijers,et al.  Social software for business process modeling , 2010, J. Inf. Technol..

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

[34]  Julius T. Tou,et al.  Information Systems , 1973, GI Jahrestagung.

[35]  John M. Wilson,et al.  Business Processes: Modelling and Analysis for Re-engineering and Improvement , 1995 .

[36]  Jan Mendling,et al.  Detection and prediction of errors in EPC business process models , 2007 .

[37]  Gargi Dasgupta,et al.  Managing Faults for Distributed Workflows over Grids , 2010, IEEE Internet Computing.

[38]  David J. Sheskin,et al.  Handbook of Parametric and Nonparametric Statistical Procedures , 1997 .

[39]  G. G. Stokes.  "J." , 1890, The New Yale Book of Quotations.

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

[41]  Marian Petre,et al.  Why looking isn't always seeing: readership skills and graphical programming , 1995, CACM.

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

[43]  Carliss Y. Baldwin,et al.  Managing in an age of modularity. , 1997, Harvard business review.

[44]  Ryan A. Rossi,et al.  Polyphony: A Workflow Orchestration Framework for Cloud Computing , 2010, 2010 10th IEEE/ACM International Conference on Cluster, Cloud and Grid Computing.

[45]  Remco M. Dijkman,et al.  Measuring Similarity between Business Process Models , 2008, CAiSE.

[46]  Ming Dong,et al.  Petri net-based workflow modelling and analysis of the integrated manufacturing business processes , 2005 .

[47]  R. Langlois.  Modularity in technology and organization , 2002 .

[48]  Paul D. Scott,et al.  Coupling and cohesion measures for evaluation of component reusability , 2006, MSR '06.

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

[50]  Moe Thandar Wynn,et al.  Reduction rules for reset workflow nets , 2006 .

[51]  Chris F. Kemerer,et al.  A Metrics Suite for Object Oriented Design , 2015, IEEE Trans. Software Eng..

[52]  Maria E. Orlowska,et al.  Analyzing Process Models Using Graph Reduction Techniques , 2000, Inf. Syst..

[53]  Glenford J. Myers,et al.  Structured Design , 1999, IBM Syst. J..

[54]  Nadja Damij,et al.  Business process modelling using diagrammatic and tabular techniques , 2007, Bus. Process. Manag. J..

[55]  M. Brian Blake,et al.  Web-Scale Workflow: Integrating Distributed Services , 2008, IEEE Internet Computing.

[56]  Marian Petre,et al.  Usability Analysis of Visual Programming Environments: A 'Cognitive Dimensions' Framework , 1996, J. Vis. Lang. Comput..

[57]  Hajo A. Reijers,et al.  Protos 7.0: Simulation Made Accessible , 2005, ICATPN.

[58]  Kevin Crowston,et al.  Tools for inventing organizations: toward a handbook of organizational processes , 1993, [1993] Proceedings Second Workshop on Enabling Technologies@m_Infrastructure for Collaborative Enterprises.

[59]  Frank Leymann,et al.  Workflows Make Objects Really Useful , 1996, EMISA Forum.

[60]  Jana Koehler,et al.  The refined process structure tree , 2008, Data Knowl. Eng..

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

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

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

[64]  Christopher Alexander.  Notes on the Synthesis of Form , 1964 .

[65]  Lee Gang Soo,et al.  An empirical study on the complexity metrics of Petri nets , 1992 .

[66]  Remco M. Dijkman,et al.  The ICoP Framework: Identification of Correspondences between Process Models , 2010, CAiSE.

[67]  Jan Mendling,et al.  Business Process Model Abstraction Based on Behavioral Profiles , 2010, ICSOC.

[68]  Ron Weber,et al.  Ontological foundations of information systems , 1997 .

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

[70]  Jan Mendling,et al.  Modularity in Process Models: Review and Effects , 2008, BPM.

[71]  Robert W. Blanning,et al.  Synthesis and Decomposition of Processes in Organizations , 2003, Inf. Syst. Res..

[72]  D. L. Parnas,et al.  On the criteria to be used in decomposing systems into modules , 1972, Software Pioneers.

[73]  Remco M. Dijkman,et al.  Meronymy-Based Aggregation of Activities in Business Process Models , 2010, ER.

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

[75]  T. R. G. Green.  Conditional program statements and their comprehensibility to professional programmers , 1977 .

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

[77]  Fernando Brito e Abreu,et al.  A coupling-guided cluster analysis approach to reengineer the modularity of object-oriented systems , 2000, Proceedings of the Fourth European Conference on Software Maintenance and Reengineering.

[78]  Wil M. P. van der Aalst,et al.  Inheritance of behavior , 2001, J. Log. Algebraic Methods Program..

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

[80]  W. Shadish,et al.  Experimental and Quasi-Experimental Designs for Generalized Causal Inference , 2001 .

[81]  Jörg Desel,et al.  Free choice Petri nets , 1995 .

[82]  Satu Elisa Schaeffer,et al.  Graph Clustering , 2017, Encyclopedia of Machine Learning and Data Mining.

[83]  Hajo A. Reijers,et al.  Evaluating workflow process designs using cohesion and coupling metrics , 2008, Comput. Ind..

[84]  Kees M. van Hee,et al.  Workflow Management: Models, Methods, and Systems , 2002, Cooperative information systems.

[85]  Mathias Weske,et al.  Process Model Abstraction: A Slider Approach , 2008, 2008 12th International IEEE Enterprise Distributed Object Computing Conference.

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

[87]  Mike Adler,et al.  An Algebra for Data Flow Diagram Process Decomposition , 1988, IEEE Trans. Software Eng..

[88]  Natalia Juristo Juzgado,et al.  Basics of Software Engineering Experimentation , 2010, Springer US.

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

[90]  Patrick McDermott,et al.  Workflow Modeling: Tools for Process Improvement and Application Development , 2001 .

[91]  Remco M. Dijkman,et al.  Similarity of business process models: Metrics and evaluation , 2011, Inf. Syst..

[92]  Ron Weber,et al.  On the deep structure of information systems , 1995, Inf. Syst. J..

[93]  Frank Leymann,et al.  Production Workflow: Concepts and Techniques , 1999 .