A Workflow Structure Verification Method Based on Warshall Algorithm

摘要：

The workflow verification is an important aspect of Workflow Management System (WFMS). The verification of workflow before its application, on the one hand, can greatly reduce the loss brought by breakdowns, debugging and other treatments in its operation, and on the other hand, can ensure the proper and efficient operations. The workflow structure verification is the fundamental and also the most important aspect of workflow verification. Based on the Warshall algorithm, we come up with a verification method of workflow structure and provide five verification rules. This method, together with these five rules, can be used to verify six abnormal structures including isolated nodes, infinite loop, etc. With solid mathematic foundations, this method can pointed out precisely the structural problems existing in the workflow. This method has been tested as comprehensive and reliable in many cases.

关键词： Workflow structure validation Warshall algorithm adjacency matrix reachable matrix

作者: Zheng Ling Cui Shuo Yue Dong Zhang Xiaoliang

作者单位: North China Electricity Power University Beijing, China

会议类型: 国际会议

会议名称: 2011 Seventh International Conference on Natural Computation(第七届自然计算国际会议 ICNC 2011)

会议地点: 上海

会议语种:英文

页码: 1972-1975

在线出版日期: 2011-07-26（万方平台首次上网日期，不代表论文的发表时间）