Numbering action vertices in workflow graphs Workflow graphs, consisting of actions, events, and logical switches, are used to model business processes. In order to easily identify the actions within a workflow graph, it is useful to number them in such a way that the numbering reflects the structure of the workflow. However, available tools offer only rudimental numbering schemes. In the paper, a set of natural requirements is defined that a logical numbering should fulfill. It is investigated under what conditions there is an appropriate numbering at all, when it is uniquely defined by the set of requirements, and when it can be computed efficiently. It is shown that for an important special class of workflow graphs, namely, structured workflow graphs, the answer to all these questions is affirmative. For general workflow graphs, a set of requirements is presented that can always be fulfilled, but the numbering is not necessarily unique. An algorithm based on a depth-first search can be used to compute an appropriate numbering efficiently.
[1]
Clifford Stein,et al.
Introduction to Algorithms, 2nd edition.
,
2001
.
[2]
Wil M. P. van der Aalst,et al.
Fundamentals of control flow in workflows
,
2003,
Acta Informatica.
[3]
Jana Koehler,et al.
The refined process structure tree
,
2008,
Data Knowl. Eng..
[4]
August-Wilhelm Scheer,et al.
ARIS - Business Process Modeling
,
1998
.
[5]
Wil M. P. van der Aalst,et al.
Formalization and verification of event-driven process chains
,
1999,
Inf. Softw. Technol..
[6]
Jan Mendling,et al.
Beyond Soundness: On the Semantic Consistency of Executable Process Models
,
2008,
2008 Sixth European Conference on Web Services.