Workflow Model Verification Based on Matrix Transformation

Dun Haiqiang,Zhao Wen,Zhang Shikun,Wang Lifu

IF: 1.019

2009-01-01

Chinese Journal of Electronics

Abstract:Synchronet is a workflow model which has three layers, i.e. workflow logic, case semantics and workflow management. Throughness is an important property in workflow logic layer. As a simple and widely used technique, graph reduction method can be employed to verify workflow logic via reduction rules. However, the graph reduction method is low efficient and space-consuming. In this paper, a workflow logic verification method based on matrix transformation is proposed to solve above problems. Firstly, the incidence matrix of workflow logic is generated by its not representation. Then, matrix transformations can be conducted according to rows characteristic and columns characteristic of the incidence matrix. Related algorithms are implemented and experiments are conducted. Experiment results show that this method is more efficient and space-saving than the graph reduction method. Moreover, a worked example is provided to illustrate the transformation process.