| 基于矩阵模型的工作流合理性验证算法研究 |
| |
| 引用本文： | 高捷,吴华瑞. 基于矩阵模型的工作流合理性验证算法研究[J]. 计算机工程与设计, 2010, 31(11) |
| |
| 作者姓名： | 高捷 吴华瑞 |
| |
| 作者单位： | 1. 国家农业信息化工程技术研究中心,北京,100097;首都师范大学,信息工程学院,北京,100048
2. 国家农业信息化工程技术研究中心,北京,100097 |
| |
| 基金项目： | 国家自然科学基金，国家863高技术研究发展计划基金，国家农业部948引进国际先进农业科学技术计划项目，国家科技支撑计划基金 |
| |
| 摘 要： | 错误的工作流模型投入运行后对系统的破坏是非常严重的,很可能导致整个工作流系统的失败.为了提高模型的正确性和验证过程的可靠性,改进一种用于对工作流模型合理性验证的算法,将工作流网在语义上等价转化为一种完全由矩阵和向量来表示的数学模型,利用矩阵和向量的运算来验证其合理性.因此,验证过程脱离了对原有工作流网的依赖,使模型验证驱于数学化,算法更便于由计算机编程实现.
|
| 关 键 词： | Petri网 工作流网 合理性验证 矩阵 向量 |
Research of matrix-based workflow model rationality validation algorithm |
| |
| GAO Jie,WU Hua-rui. Research of matrix-based workflow model rationality validation algorithm[J]. Computer Engineering and Design, 2010, 31(11) |
| |
| Authors: | GAO Jie WU Hua-rui |
| |
| Abstract: | |
| |
| Keywords: | |
| 本文献已被 万方数据 等数据库收录！ |
|
