| 一种基于Petri网化简的工作流过程语义验证方法 |
| |
| 引用本文： | 周建涛,史美林,叶新铭. 一种基于Petri网化简的工作流过程语义验证方法[J]. 软件学报, 2005, 16(7): 1242-1251 |
| |
| 作者姓名： | 周建涛 史美林 叶新铭 |
| |
| 作者单位： | 清华大学,计算机科学与技术系,北京,100084;内蒙古大学,计算机学院,内蒙古,呼和浩特,010021;清华大学,计算机科学与技术系,北京,100084;内蒙古大学,计算机学院,内蒙古,呼和浩特,010021 |
| |
| 基金项目： | 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)) |
| |
| 摘 要： | 过程验证是保证工作流过程定义正确性的重要手段.针对过程定义中控制流、数据流和资源三维元信息相结合的冲突检测问题,研究了过程的语义验证方法.首先根据语义验证的需求,定义3DWFN网作为过程描述的形式化模型,然后基于该模型阐述了完成语义验证的化简规则.并通过与其他相关化简规则的比较,说明了这些规则在语义验证层面的优势.
|
| 关 键 词： | 工作流 过程 语义验证 Petri网 化简 |
| 收稿时间： | 2004-03-29 |
| 修稿时间： | 2004-03-29 |
A Method for Semantic Verification of Workflow Processes Based on Petri Net Reduction Technique |
| |
| ZHOU Jian-Tao,SHI Mei-Lin and YE Xin-Ming. A Method for Semantic Verification of Workflow Processes Based on Petri Net Reduction Technique[J]. Journal of Software, 2005, 16(7): 1242-1251 |
| |
| Authors: | ZHOU Jian-Tao SHI Mei-Lin YE Xin-Ming |
| |
| Abstract: | |
| |
| Keywords: | workflow process semantic verification Petri net reduction |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
| 点击此处可从《软件学报》浏览原始摘要信息 |
|
点击此处可从《软件学报》下载全文 |
|
