Business process modeling with continuous validation

In this article, we present the prototype of a modeling tool that applies graph-based rules for identifying problems in business process models. The advantage of our approach is twofold. First, it is unnecessary to compute the complete state space of the model to find errors. Second, our technique can even be applied to incomplete business process models. Thus, the modeler can be supported by direct feedback during the model construction. This feedback not only reports problems, but also identifies their reasons and gives suggestions for improvement. Copyright © 2010 John Wiley & Sons, Ltd.

[1]  Lucas Layman,et al.  MimEc: intelligent user notification of faults in the eclipse IDE , 2008, CHASE.

[2]  Jason E. Robbins,et al.  Cognitive support, UML adherence, and XMI interchange in Argo/UML , 2000, Inf. Softw. Technol..

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

[4]  Jan Mendling,et al.  Structural Patterns for Soundness of Business Process Models , 2006, 2006 10th IEEE International Enterprise Distributed Object Computing Conference (EDOC'06).

[5]  Boudewijn F. van Dongen,et al.  Verification of EPCs: Using Reduction Rules and Petri Nets , 2005, CAiSE.

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

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

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

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

[10]  Moe Thandar Wynn,et al.  Business process verification - finally a reality! , 2009, Bus. Process. Manag. J..

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

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

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

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

[15]  Boudewijn F. van Dongen,et al.  Verification of the SAP reference models using EPC reduction, state-space analysis, and invariants , 2007, Comput. Ind..