首页> 外文会议>International forum on computer science-technology and applications;IFCSTA 2009 >A matrix-based workflow model rationality validation algorithm
【24h】

A matrix-based workflow model rationality validation algorithm

机译:基于矩阵的工作流模型合理性验证算法

获取原文

摘要

Model validation and analysis of the development of workflow system is a relatively weak link. At present, there is a lack of an effective tool or a method to validate the correctness and the effectiveness of the new model Errors of the workflow model destroy the workflow system seriously.It is likely to lead to the failure of the entire workflow system. In order to improve that model is correct and the validating process is reliable, refined a validation algorithm of rationality of the workflow model. Workflow model will be completely transformed into the mathematical model that expressed by the matrix and vector. It used matrix and vector operations to validate the rationality of the WF-Net model So, validation process is divorced from original model It's could conveniently achieved by computer and make it more easily computerized.
机译:模型验证和工作流系统开发分析是一个相对薄弱的环节。当前,缺乏有效的工具或方法来验证新模型的正确性和有效性,工作流模型的错误严重破坏了工作流系统,很可能导致整个工作流系统的故障。为了提高模型的正确性和验证过程的可靠性,改进了工作流模型合理性的验证算法。工作流模型将完全转换为由矩阵和向量表示的数学模型。它使用矩阵和向量运算来验证WF-Net模型的合理性,因此,验证过程与原始模型不同,可以通过计算机方便地实现,并且使其更易于计算机化。

著录项

相似文献

  • 外文文献
  • 中文文献
  • 专利
获取原文

客服邮箱:kefu@zhangqiaokeyan.com

京公网安备:11010802029741号 ICP备案号:京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有
  • 客服微信

  • 服务号