###
DOI:
Journal of Software:2005.16(7):1242-1251

一种基于Petri网化简的工作流过程语义验证方法
周建涛,史美林,叶新铭
(清华大学,计算机科学与技术系,北京,100084;内蒙古大学,计算机学院,内蒙古,呼和浩特,010021)
A Method for Semantic Verification of Workflow Processes Based on Petri Net Reduction Technique
ZHOU Jian-Tao,SHI Mei-Lin,YE Xin-Ming
()
Abstract
Chart / table
Reference
Similar Articles
Article :Browse 3915   Download 3637
Received:March 29, 2004    Revised:December 08, 2004
> 中文摘要: 过程验证是保证工作流过程定义正确性的重要手段.针对过程定义中控制流、数据流和资源三维元信息相结合的冲突检测问题,研究了过程的语义验证方法.首先根据语义验证的需求,定义3DWFN网作为过程描述的形式化模型,然后基于该模型阐述了完成语义验证的化简规则.并通过与其他相关化简规则的比较,说明了这些规则在语义验证层面的优势.
中文关键词: 工作流  过程  语义验证  Petri网  化简
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.
文章编号:     中图分类号:    文献标志码:
基金项目:Supported by the National Natural Science Foundation of China under Grant No.60073011 (国家自然科学基金); the National High-Tech Research and Development Plan of China under Grant No.2001AA113150 (国家高技术研究发展计划(863)) Supported by the National Natural Science Foundation of China under Grant No.60073011 (国家自然科学基金); the National High-Tech Research and Development Plan of China under Grant No.2001AA113150 (国家高技术研究发展计划(863))
Foundation items:
Reference text:

周建涛,史美林,叶新铭.一种基于Petri网化简的工作流过程语义验证方法.软件学报,2005,16(7):1242-1251

ZHOU Jian-Tao,SHI Mei-Lin,YE Xin-Ming.A Method for Semantic Verification of Workflow Processes Based on Petri Net Reduction Technique.Journal of Software,2005,16(7):1242-1251