Syntax highlighting in business process models

Sense-making of process models is an important task in various phases of business process management initiatives. Despite this, there is currently hardly any support in business process modeling tools to adequately support model comprehension. In this paper we adapt the concept of syntax highlighting to workflow nets, a modeling technique that is frequently used for business process modeling. Our contribution is three-fold. First, we establish a theoretical argument to what extent highlighting could improve comprehension. Second, we formalize a concept for syntax highlighting in workflow nets and present a prototypical implementation with the WoPeD modeling tool. Third, we report on the results of an experiment that tests the hypothetical benefits of highlighting for comprehension. Our work can easily be transferred to other process modeling tools and other process modeling techniques.

[1]  D. R. Fulkerson,et al.  Maximal Flow Through a Network , 1956 .

[2]  J. Recker,et al.  Does It Matter Which Process Modelling Language We Teach or Use? An Experimental Study on Understanding Process Modelling Languages without Formal Education , 2007 .

[3]  R. Adams.  Proceedings , 1947 .

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

[5]  Thomas R. G. Green,et al.  Cognitive dimensions of notations , 1990 .

[6]  Gerald L. Lohse,et al.  A Cognitive Model for Understanding Graphical Perception , 1993, Hum. Comput. Interact..

[7]  John R. Anderson.  ACT: A simple theory of complex cognition. , 1996 .

[8]  Ron Weber,et al.  Guidelines for Empirical Evaluations of Conceptual Modeling Grammars , 2009, J. Assoc. Inf. Syst..

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

[10]  Richard M. Karp,et al.  Theoretical Improvements in Algorithmic Efficiency for Network Flow Problems , 1972, Combinatorial Optimization.

[11]  Jan Mendling,et al.  Empirical Studies in Process Model Verification , 2009, Trans. Petri Nets Other Model. Concurr..

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

[13]  Marta Indulska,et al.  Business Process Modeling: Current Issues and Future Challenges , 2009, CAiSE.

[14]  Doris L. Carver,et al.  TRANSACTIONS ON SOFTWARE ENGINEERING , 2004 .

[15]  Herbert A. Simon,et al.  Why a Diagram is (Sometimes) Worth Ten Thousand Words , 1987, Cogn. Sci..

[16]  John Mylopoulos,et al.  Workflow Management Models , Methods , and Systems , 2002 .

[17]  RosemannMichael,et al.  How do practitioners use conceptual modeling in practice , 2006 .

[18]  Dimitris Plexousakis,et al.  A Formal Framework for Business Process Modeling and Design , 2002 .

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

[20]  Dhanistha Panyasak,et al.  Circuits , 1995, Annals of the New York Academy of Sciences.

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

[22]  Herbert A. Simon,et al.  THE MIND'S EYE IN CHESS , 1988 .

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

[24]  Adam R. Day.  On Process Complexity , 2009, Chic. J. Theor. Comput. Sci..

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

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

[27]  William Ribarsky,et al.  Building and applying a human cognition model for visual analytics , 2009 .

[28]  Andreas Eckleder,et al.  WoPeD 2.0 goes BPEL 2.0 , 2008, AWPN.

[29]  Theo P. van der Weide,et al.  Information modeling: The process and the required competencies of its participants , 2004, Data Knowl. Eng..

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

[31]  Andrew Gemino,et al.  A framework for empirical evaluation of conceptual modeling techniques , 2004, Requirements Engineering.

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

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

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

[35]  Grzegorz Rozenberg.  Advances in Petri Nets 1990 , 1989, Lecture Notes in Computer Science.

[36]  Wil M.P. van der Aalst,et al.  YAWL: yet another workflow language , 2005, Inf. Syst..

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

[38]  Keng Siau,et al.  Informational and Computational Equivalence in Comparing Information Modeling Methods , 2004, J. Database Manag..

[39]  Manuel Silva Suárez,et al.  Circuits, handles, bridges and nets , 1991, Applications and Theory of Petri Nets.

[40]  William Ribarsky,et al.  Building and Applying a Human Cognition Model for Visual Analytics , 2009, Inf. Vis..

[41]  Marian Petre,et al.  Cognitive dimensions 'beyond the notation' , 2006, J. Vis. Lang. Comput..

[42]  Alan F. Blackwell,et al.  Ten years of cognitive dimensions in visual languages and computing: Guest Editor's introduction to special issue , 2006, J. Vis. Lang. Comput..

[43]  S. Siegel,et al.  Nonparametric Statistics for the Behavioral Sciences , 2022, The SAGE Encyclopedia of Research Design.

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

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

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

[47]  Claes Wohlin,et al.  Experimentation in software engineering: an introduction , 2000 .

[48]  Colin Ware,et al.  Cognitive Measurements of Graph Aesthetics , 2002, Inf. Vis..

[49]  Martin Aigner,et al.  Diskrete Mathematik , 1993, Vieweg Studium Aufbaukurs Mathematik = Advanced lectures in mathematics.

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

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

[52]  Jan Mendling,et al.  Realtime detection and coloring of matching operator nodes in workflow nets , 2009 .

[53]  Bernd Scholz-Reiter,et al.  Business Process Modelling , 2011 .

[54]  Jock D. Mackinlay,et al.  Automating the design of graphical presentations of relational information , 1986, TOGS.

[55]  A. Selçuk Güceglioglu,et al.  Using Software Quality Characteristics to Measure Business Process Quality , 2005, Business Process Management.

[56]  David Harel,et al.  On visual formalisms , 1988, CACM.

[57]  Hajo A. Reijers,et al.  Improved model management with aggregated business process models , 2009, Data Knowl. Eng..

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

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

[60]  Gang Soo Lee,et al.  An empirical Study on Complexity Metrics of Petri Nets , 1990 .

[61]  Richard Hung.  Business process management as competitive advantage: a review and empirical study , 2006 .

[62]  Daniel L. Moody,et al.  The “Physics” of Notations: Toward a Scientific Basis for Constructing Visual Notations in Software Engineering , 2009, IEEE Transactions on Software Engineering.

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

[64]  John J. Bertin,et al.  The semiology of graphics , 1983 .

[65]  Wil M. P. van der Aalst,et al.  The Application of Petri Nets to Workflow Management , 1998, J. Circuits Syst. Comput..

[66]  Ned Kock,et al.  Communication flow orientation in business process modeling and its effect on redesign success: Results from a field study , 2009, Decis. Support Syst..

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

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

[69]  John Debenham,et al.  Knowledge Engineering , 1998, Artificial Intelligence.

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

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

[73]  Mario Piattini,et al.  Defining and validating metrics for assessing the understandability of entity-relationship diagrams , 2008, Data Knowl. Eng..

[74]  C. Minkowitz,et al.  Formal process modelling , 1993, Inf. Softw. Technol..

[75]  K. A. Ericsson,et al.  Expert and exceptional performance: evidence of maximal adaptation to task constraints. , 1996, Annual review of psychology.

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

[77]  Keshav Pingali,et al.  The program structure tree: computing control regions in linear time , 1994, PLDI '94.

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

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

[80]  Jan Mendling,et al.  Metrics for Business Process Models , 2008 .