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 Its could conveniently achieved by computer and make it more easily computerized.
Petri net1 WF-net2 rationality validation3 matrix 4 vector5
Gao Jie Zhao Chunjiang
Information Engineering College, Capital Normal University, Beijing 100048, China National Engineeri National Engineering Research Center for Information Technology in Agriculture, Beijing 100097, Chin
国际会议
重庆
英文
37-40
2009-12-25（万方平台首次上网日期，不代表论文的发表时间）