【摘要】 工作流执行过程中经常会出现非正常终止的情况,对此,将事前分析方法应用于工作流过程模型的验证中,即在工作流过程实例化前进行模型的有效性分析和结构正确性验证。该方法对传统的有向网络图进行扩展并以此来描述工作流过程,确定模型的有效性;进一步将扩展有向网络图转换成工作流网模型,应用Petri网技术分析该模型的冲突结构,以确保工作流过程的逻辑合理性。更多还原

【Abstract】 In order to avoid the unexpected ends often appear during the execution of workflow, an ex-ante analysis method which includes verification of process validity and structural correctness is presented. This method uses an extended directed net graph to describe the workflow process in order to ensure the validity of model. Then the directed net graph is transformed into workflow-net, and the technologies of Petri net are used to analyze the conflicts of workflow-net in order to ensure the logical soundness of workflow process.更多还原