主页期刊介绍编委会编辑部服务介绍道德声明在线审稿编委办公English
2020-2021年专刊出版计划 微信服务介绍 最新一期:2020年第10期
     
在线出版
各期目录
纸质出版
分辑系列
论文检索
论文排行
综述文章
专刊文章
美文分享
各期封面
E-mail Alerts
RSS
旧版入口
中国科学院软件研究所
  
投稿指南 问题解答 下载区 收费标准 在线投稿
周建涛,史美林,叶新铭.一种基于Petri网化简的工作流过程语义验证方法.软件学报,2005,16(7):1242-1251
一种基于Petri网化简的工作流过程语义验证方法
A Method for Semantic Verification of Workflow Processes Based on Petri Net Reduction Technique
投稿时间:2004-03-29  修订日期:2004-12-08
DOI:
中文关键词:  工作流  过程  语义验证  Petri网  化简
英文关键词:workflow  process  semantic verification  Petri net  reduction
基金项目: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))
作者单位
周建涛 清华大学,计算机科学与技术系,北京,100084
内蒙古大学,计算机学院,内蒙古,呼和浩特,010021 
史美林 清华大学,计算机科学与技术系,北京,100084 
叶新铭 内蒙古大学,计算机学院,内蒙古,呼和浩特,010021 
摘要点击次数: 4273
全文下载次数: 4022
中文摘要:
      过程验证是保证工作流过程定义正确性的重要手段.针对过程定义中控制流、数据流和资源三维元信息相结合的冲突检测问题,研究了过程的语义验证方法.首先根据语义验证的需求,定义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.
HTML  下载PDF全文  查看/发表评论  下载PDF阅读器
 

京公网安备 11040202500064号

主办单位:中国科学院软件研究所 中国计算机学会 京ICP备05046678号-4
编辑部电话:+86-10-62562563 E-mail: jos@iscas.ac.cn
Copyright 中国科学院软件研究所《软件学报》版权所有 All Rights Reserved
本刊全文数据库版权所有,未经许可,不得转载,本刊保留追究法律责任的权利