节点文献

基于事前分析方法的工作流过程模型的验证

Verification of workflow process model based on ex-ante analysis method

  • 推荐 CAJ下载
  • PDF下载
  • 不支持迅雷等下载工具,请取消加速工具后下载。

【作者】 李燕冯玉强

【Author】 LI Yan, FENG Yu-qiang (School of Management, Harbin Institute of Technology, Harbin 150001,China)

【机构】 哈尔滨工业大学管理学院哈尔滨工业大学管理学院 黑龙江哈尔滨150001黑龙江哈尔滨150001

【摘要】 工作流执行过程中经常会出现非正常终止的情况,对此,将事前分析方法应用于工作流过程模型的验证中,即在工作流过程实例化前进行模型的有效性分析和结构正确性验证。该方法对传统的有向网络图进行扩展并以此来描述工作流过程,确定模型的有效性;进一步将扩展有向网络图转换成工作流网模型,应用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.

【基金】 黑龙江省信息产业专项基金资助项目(2003118)
  • 【文献出处】 黑龙江大学自然科学学报 ,Journal of Natural Science of Heilongjiang University , 编辑部邮箱 ,2006年06期
  • 【分类号】TP311.52
  • 【被引频次】2
  • 【下载频次】96
节点文献中: 

本文链接的文献网络图示:

本文的引文网络