| 基于事前分析方法的工作流过程模型的验证 |
| |
| 引用本文： | 李燕,冯玉强.基于事前分析方法的工作流过程模型的验证[J].黑龙江大学自然科学学报,2006,23(6):827-831. |
| |
| 作者姓名： | 李燕 冯玉强 |
| |
| 作者单位： | 哈尔滨工业大学,管理学院,黑龙江,哈尔滨,150001 |
| |
| 基金项目： | 黑龙江省信息产业专项基金 |
| |
| 摘 要： | 工作流执行过程中经常会出现非正常终止的情况,对此,将事前分析方法应用于工作流过程模型的验证中,即在工作流过程实例化前进行模型的有效性分析和结构正确性验证。该方法对传统的有向网络图进行扩展并以此来描述工作流过程,确定模型的有效性;进一步将扩展有向网络图转换成工作流网模型,应用Petri网技术分析该模型的冲突结构,以确保工作流过程的逻辑合理性。
|
| 关 键 词： | 工作流过程模型 Petri网 扩展有向网络图 工作流网 |
| 文章编号： | 1001-7011(2006)06-0827-05 |
| 修稿时间： | 2005年12月25 |
Verification of workflow process model based on ex-ante analysis method |
| |
| LI Yan,FENG Yu-qiang.Verification of workflow process model based on ex-ante analysis method[J].Journal of Natural Science of Heilongjiang University,2006,23(6):827-831. |
| |
| Authors: | LI Yan FENG Yu-qiang |
| |
| 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. |
| |
| Keywords: | workflow process model Petri net extended directed net graph workflow-net |
| 本文献已被 CNKI 万方数据 等数据库收录！ |
|
