一种基于Petri网化简的工作流过程语义验证方法  

A Method for Semantic Verification of Workflow Processes Based on Petri Net Reduction Technique

作　　者：周建涛[1] 史美林[1] 叶新铭[2] 

机构地区：[1]清华大学计算机科学与技术系,北京100084 [2]内蒙古大学计算机学院,内蒙古呼和浩特010021

出　　处：《软件学报》2005年第7期1242-1251,共10页Journal of Software

基　　金：国家自然科学基金No.60073011;国家高技术研究发展计划(863)No.2001AA113150~~

摘　　要：过程验证是保证工作流过程定义正确性的重要手段.针对过程定义中控制流、数据流和资源三维元信息相结合的冲突检测问题,研究了过程的语义验证方法.首先根据语义验证的需求,定义3DWFN网作为过程描述的形式化模型,然后基于该模型阐述了完成语义验证的化简规则.并通过与其他相关化简规则的比较,说明了这些规则在语义验证层面的优势.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.

关 键 词：工作流 过程 语义验证 PETRI网 化简 

分 类 号：TP311[自动化与计算机技术—计算机软件与理论]