Automatic Workflow Graph Refactoring and Completion

Workflow graphs are used to model the control flow of business processes in various languages, e.g., BPMN, EPCs and UML activity diagrams. We present techniques for automatic workflow graph refactoring and completion. These techniques enable various use cases in modeling and runtime optimization. For example they allow us to complete a partial workflow graph, they provide local termination detection for workflow graphs with multiple ends, and they allow us to execute models containing OR-joins faster. Some of our techniques are based on workflow graph parsing and the Refined Process Structure Tree [10].

[1]  Yaron Goland,et al.  Web Services Business Process Execution Language , 2009, Encyclopedia of Database Systems.

[2]  Erik H. D'Hollander,et al.  Using hammock graphs to structure programs , 2004, IEEE Transactions on Software Engineering.

[3]  Francisco Curbera,et al.  Web Services Business Process Execution Language Version 2.0 , 2007 .

[4]  Johann Eder,et al.  Transforming Workflow Graphs , 2006 .

[5]  Tadao Murata,et al.  Petri nets: Properties, analysis and applications , 1989, Proc. IEEE.

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

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

[8]  Robert E. Tarjan.  Prime subprogram parsing of a program , 1980, POPL '80.

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

[10]  C. Scott Ananian,et al.  The static single information form , 2001 .

[11]  Jacobo Valdes Ayesta.  Parsing flowcharts and series-parallel graphs , 1978 .

[12]  Robert E. Tarjan,et al.  Dividing a Graph into Triconnected Components , 1973, SIAM J. Comput..

[13]  Petra Mutzel,et al.  A Linear Time Implementation of SPQR-Trees , 2000, GD.

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

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

[16]  Priya Narasimhan,et al.  Service-Oriented Computing - ICSOC 2007, Fifth International Conference, Vienna, Austria, September 17-20, 2007, Proceedings , 2007, ICSOC.

[17]  Jana Koehler,et al.  Applying Patterns during Business Process Modeling , 2008, BPM.

[18]  Wil M. P. van der Aalst,et al.  An Alternative Way to Analyze Workflow Graphs , 2002, CAiSE.

[19]  Richard Johnson.  Efficient program analysis using dependence flow graphs , 1995 .