Verifying Dynamic Workflow Change based on Executable Path

Jian CAO,Haiyan ZHAO,Jie WANG,Shensheng ZHANG,LI Minglu
2007-01-01
Abstract:As a technology that can improve the efficiency of the business process, workflow is drawing more and more attentions of researchers and software product vendors. But there are still many problems waiting to be solved for workflow. One of these problems is the poor adaptability of workflow. This paper intends to enhance the adaptability from the view of supporting dynamic change on process model for workflow instance. In the paper, a workflow model that is fit for dynamic change is defined firstly and the verification rules are set up for this model. Specifically, our method is based on the concept of executable path of workflow. Based on the executable path, the concepts and algorithms of valid process and complete sub-process are introduced to solve the verification problem brought by workflow instance dynamic change.
What problem does this paper attempt to address?