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.