Aris-Business Process Modeling
Aris-Business Process Modeling
Introduction to Algorithms
Beyond Soundness: On the Semantic Consistency of Executable Process Models
ECOWS '08 Proceedings of the 2008 Sixth European Conference on Web Services
The refined process structure tree
Data & Knowledge Engineering
| Hi-index | 0.00 |
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.