Visual suggestions for improvements in business process diagrams

Abstract Business processes are commonly modeled using a graphical modeling language. The most widespread notation for this purpose is business process diagrams in the Business Process Modeling Notation (BPMN). In this article, we use the visual query language BPMN-Q for expressing patterns that are related to possible problems in such business process diagrams. We discuss two classes of problems that can be found frequently in real-world models: sequence flow errors and model fragments that can make the model difficult to understand. By using a query processor, a business process modeler is able to identify possible errors in business process diagrams. Moreover, the erroneous parts of the business process diagram can be highlighted when an instance of an error pattern is found. This way, the modeler gets an easy-to-understand feedback in the visual modeling language he or she is familiar with. This is an advantage over current validation methods, which usually lack this kind of intuitive feedback.

[1]  Thomas Kurpick,et al.  Checking Correctness and Compliance of Integrated Process Models , 2008, 2008 10th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing.

[2]  M. Pesic,et al.  Specifying, Discovering, and Monitoring Service Flows: Making Web Services Process-Aware , 2006 .

[3]  Jan Mendling,et al.  Instantiation Semantics for Process Models , 2008, BPM.

[4]  Takashi Kobayashi,et al.  Definition of deadlock patterns for business processes workflow models , 1999, Proceedings of the 32nd Annual Hawaii International Conference on Systems Sciences. 1999. HICSS-32. Abstracts and CD-ROM of Full Papers.

[5]  Radu Mateescu,et al.  Model Checking for Managers , 1999, SPIN.

[6]  Rik Eshuis,et al.  Semantics and Verification of UML Activity Diagrams for Workflow Modelling , 2002 .

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

[8]  Mathias Weske,et al.  Efficient Compliance Checking Using BPMN-Q and Temporal Logic , 2008, BPM.

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

[10]  Ahmed Awad,et al.  BPMN-Q: A Language to Query Business Processes , 2007, EMISA.

[11]  Mathias Weske,et al.  Semantic Querying of Business Process Models , 2008, 2008 12th International IEEE Enterprise Distributed Object Computing Conference.

[12]  Ralph Johnson,et al.  design patterns elements of reusable object oriented software , 2019 .

[13]  Volker Gruhn,et al.  Reducing the cognitive complexity of business process models , 2009, 2009 8th IEEE International Conference on Cognitive Informatics.

[14]  Paolo Tonella,et al.  Crosscutting Concern Documentation by Visual Query of Business Processes , 2008, Business Process Management Workshops.

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

[16]  Marco Brambilla,et al.  LTL Formalization of BPML Semantics and Visual Notation for Linear Temporal Logic , 2005 .

[17]  Volker Gruhn,et al.  A Heuristic Method for Business Process Model Evaluation , 2009, CIAO! / EOMAS.

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

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

[20]  Gero Decker,et al.  Complex Events in Business Processes , 2007, BIS.

[21]  Ekkart Kindler,et al.  On the semantics of EPCs: Efficient calculation and simulation , 2005, EPK.

[22]  Stefan Kühne,et al.  Business Process Modelling with Continuous Validation , 2008, Business Process Management Workshops.

[23]  Ying Liu,et al.  A static compliance-checking framework for business process models , 2007, IBM Syst. J..

[24]  Remco M. Dijkman,et al.  An approach to relate business and application services using ISDL , 2005, Ninth IEEE International EDOC Enterprise Computing Conference (EDOC'05).

[25]  Gianfranco Balbo,et al.  Application and theory of Petri nets 1997 : 18th International Conference, ICATPN'97, Toulouse, France, June 23-27, 1997 : proceedings , 1997 .

[26]  Akhil Kumar,et al.  An Analysis and Taxonomy of Unstructured Workflows , 2005, Business Process Management.

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

[28]  Peter Loos,et al.  Comparing the Control-Flow of EPC and Petri Net from the End-User Perspective , 2005, Business Process Management.

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

[30]  Jonas Rommelspacher,et al.  Modelling Complex Events with Event-Driven Process Chains , 2008, SIGSAND-EUROPE.

[31]  Moe Thandar Wynn.  Semantics, verification, and implementation of workflows with cancellation regions and OR-joins , 2006 .

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

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

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

[35]  Ahmed Awad,et al.  Visualization of Business Process Modeling Anti Patterns , 2010, Electron. Commun. Eur. Assoc. Softw. Sci. Technol..

[36]  Jan Mendling,et al.  Verification of Forbidden Behavior in EPCs , 2006, Modellierung.

[37]  Frank J. Rump.  Geschäftsprozeßmanagement auf der Basis ereignisgesteuerter Prozeßketten: Formalisierung, Analyse und Ausführung von EPKs , 1999 .