关键词: 工作流模型, 时间有界性, 工作流网, 模型分解

Abstract: The analysis of a workflow model is classified into logic, temporal, and performance levels. To avoid the run-time congestion of a workflow model, the problem of timing boundedness verification of a workflow model is put forward. We extend the WorkFlow nets (WF-nets) with resource and time information as the Multi-Dimension WorkFlow nets (MDWF-nets), then the model mapping from a workflow model built by the WfMC s graphic process modeling language to the MDWF-nets is discussed in detail. According to the free-choice characteristics of workflow model for business process, an algorithm for decomposing a free-choice MDWF-nets based workflow model into a set of T-component is proposed. Then, taking into account the resource view of a workflow model, the method of verifying the timing boundedness of a workflow model is given.

Key words: workflow model, time boundedness, workflow net, model decomposition