Guided Control Flow Unfolding for Workflow Graphs Using Value Range Information

4th Central-European Workshop on Services and their Composition

Thomas S. Heinze ; Wolfram Amme ; Simon Moser ; Kai Gebhardt

Others  :  http://ceur-ws.org/Vol-847/paper17.pdf
PID  :  46244

来源: CEUR

【 摘 要 】

In our previous work, we have introduced a technique to unfold the control flow in workflow graphs based upon static information about constant data values. Using this technique allowed us to safely transform certain kinds of conditional into unconditional control flow, and thus to support a usually data-unaware verification of business processes by more accurate process models. In this paper, a generalisation of this technique is discussed which can be employed in combination with arbitrary information about data values. This way, we show how statically derived value range information is beneficial for unfolding and therefore eliminating conditional control flow in a wider range of cases.