一种基于petri网化简的工作流过程语义验证方法-软件学报.pdf

1000-9825/2005/16(07)1242 ©2005 Journal of Software 软 件 学 报 Vol.16, No.7 ∗ 一种基于 Petri 网化简的工作流过程语义验证方法 1,2+ 1 2 周建涛 , 史美林 , 叶新铭 1(清华大学 计算机科学与技术系,北京 100084) 2( 内蒙古大学 计算机学院, 内蒙古 呼和浩特 010021) A Method for Semantic Verification of Workflow Processes Based on Petri Net Reduction Technique 1,2+ 1 2 ZHOU Jian-Tao , SHI Mei-Lin , YE Xin-Ming 1(Department of Computer Science and Technology, Tsinghua University, Beijing 100084, China) 2(College of Computer Science, Inner Mongolia University, Huhhot 010021, China) + Corresponding author: Phn: +86-10 E-mail: zjtao@, Received 2004-03-29; Accepted 2004-12-08 Zhou JT, Shi ML, Ye XM. A method for semantic verification of workflow processes based on Petri net reduction technique. Journal of Software, 2005,16(7):1242−1251. DOI: 10.1360/jos161242 Abstract: Verification is meaningful for ensuring the correctness of workflow process definition. This paper focuses on semantic verification method, solving the problem of conflict checking under the combination of control flow, data flow and resource dimensions of workflow processes. Firstly, a formal model for process description— 3DWFN is defined responding to the requirement of semantic verification, and then reduction rules accomplishing semantic verification are stated in details based on 3DWFN nets. Finally, their advantages on semantic verification layer are compared with the existing reduction rules in the literatures. Key words: workflow; process; semantic verification; Petri net; reduction 摘 要: 过程验证是保证工作流过程定义正确性的重要手段.针对过程定义中控制流、数据流和资源三维元信 息相结合的冲突检测问题,研究了过程的语义验证方法.首先根据语义验证的需求,定义 3DWFN