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

• 作者: 史美林 叶新铭 周建涛
• 来源期刊: 软件学报
• 学科: 工学
• 关键词: 工作流 过程 语义验证 Petri网 化简
• 年，卷（期）: 2005,（7）
• 所属期刊栏目: 系统软件与软件工程
• 页码范围: 1242-1251
• 页数: 10页
• 分类号: TP311
• 字数: 9053字
• 语种: 中文

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	叶新铭	内蒙古大学计算机学院	100	798	11.0	25.0
2	周建涛	清华大学计算机科学与技术系	6	371	5.0	6.0
4	史美林	清华大学计算机科学与技术系	96	5322	30.0	72.0