ISSN 1000-1239 CN 11-1777/TP

• •

### 工作流过程建模中的形式化验证技术

1. 1(清华大学计算机科学与技术系 北京 100084) 2(内蒙古大学计算机学院 呼和浩特 010021) (zjtao@csnet4.cs.tsinghua.edu.cn)
• 出版日期: 2005-01-15

### Formal Verification Techniques in Workflow Process Modeling

Zhou Jiantao1，2, Shi Meilin1, and Ye Xinming2

1. 1(Department of Computer Science & Technology, Tsinghua University, Beijing 100084) 2(College of Computer Science, Inner Mongolia University, Huhhot 010021)
• Online: 2005-01-15

Abstract: Workflow process modeling is a complicated and error-prone procedure. It is highly noted in both research and industrial area that the cost for modifying errors is very high after a process definition becomes operational. Thus, effective process verification in modeling phase is very essential. This paper summarizes the state of the art of workflow process verification. Firstly, importance of verification is emphasized, then depiction of problems needed to be verified and their complexities are stated, next the requirements for verification methods are described. After introduction of these essential problems, two sorts of important verification techniques are discussed in detail. The first one is soundness verification, whose research results on Petri net model are presented. The second one is reduction verification, whose research results on Petri net and workflow graph are given. Besides, other verification methods, including correctness verification and those methods based on LTS or UML, etc. are simply mentioned. By analysis and comparison, the problems may be researched and future trends are finally presented.