| 基于图归约法的工作流模型验证 |
| |
| 引用本文： | 邹宇,刘毅,陈佩文. 基于图归约法的工作流模型验证[J]. 计算机应用, 2003, 23(4): 86-88 |
| |
| 作者姓名： | 邹宇 刘毅 陈佩文 |
| |
| 作者单位： | 1. 南京航空航天大学,信息科学与技术学院,江苏,南京,210016
2. 南京航空航天大学,航空宇航学院,江苏,南京,210016 |
| |
| 摘 要： | 详细论述了对基于有向有环图（DCG图）的工作流模型结构正确性进行验证的图归约法及其五种归约规则，根据这些规则即可判定工作流模型中存在的结构冲突，从而迅速对其进行修正。
|
| 关 键 词： | 图归约法 工作流 模型验证 结构冲突 软件系统 |
| 文章编号： | 1001-9081(2003)04-0086-03 |
| 修稿时间： | 2003-02-24 |
Workflow Model Verification Based on Graph Reduction |
| |
| ZOU Yu ,LIU Yi ,CHEN Pei wen. Workflow Model Verification Based on Graph Reduction[J]. Journal of Computer Applications, 2003, 23(4): 86-88 |
| |
| Authors: | ZOU Yu LIU Yi CHEN Pei wen |
| |
| Affiliation: | ZOU Yu 1,LIU Yi 2,CHEN Pei wen 1 |
| |
| Abstract: | A graph reduction method with 5 rules for the structural correctness verification of DCG based workflow models is presented in this paper. With this method,structural conflicts in the workflow model can be discerned by reducing its workflow graph. |
| |
| Keywords: | workflow model verification structural conflict graph reduction |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
