节点文献
基于事前分析方法的工作流过程模型的验证
Verification of workflow process model based on ex-ante analysis method
【摘要】 工作流执行过程中经常会出现非正常终止的情况,对此,将事前分析方法应用于工作流过程模型的验证中,即在工作流过程实例化前进行模型的有效性分析和结构正确性验证。该方法对传统的有向网络图进行扩展并以此来描述工作流过程,确定模型的有效性;进一步将扩展有向网络图转换成工作流网模型,应用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.
【关键词】 工作流过程模型;
Petri网;
扩展有向网络图;
工作流网;
【Key words】 workflow process model; Petri net; extended directed net graph; workflow-net;
【Key words】 workflow process model; Petri net; extended directed net graph; workflow-net;
【基金】 黑龙江省信息产业专项基金资助项目(2003118)
- 【文献出处】 黑龙江大学自然科学学报 ,Journal of Natural Science of Heilongjiang University , 编辑部邮箱 ,2006年06期
- 【分类号】TP311.52
- 【被引频次】2
- 【下载频次】96