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

作者简介:

通讯作者:

中图分类号:

基金项目:

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))


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

Fund Project:

  • 摘要
  • |
  • 图/表
  • |
  • 访问统计
  • |
  • 参考文献
  • |
  • 相似文献
  • |
  • 引证文献
  • |
  • 资源附件
  • |
  • 文章评论
    摘要:

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

    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.

    参考文献
    相似文献
    引证文献
引用本文

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

复制
分享
文章指标
  • 点击次数:
  • 下载次数:
  • HTML阅读次数:
  • 引用次数:
历史
  • 收稿日期:2004-03-29
  • 最后修改日期:2004-12-08
  • 录用日期:
  • 在线发布日期:
  • 出版日期:
您是第位访问者
版权所有:中国科学院软件研究所 京ICP备05046678号-3
地址:北京市海淀区中关村南四街4号,邮政编码:100190
电话:010-62562563 传真:010-62562533 Email:jos@iscas.ac.cn
技术支持:北京勤云科技发展有限公司

京公网安备 11040202500063号