| 基于图变换的工作流建模及正确性分析 |
| |
| 引用本文： | 曾平安,任胜兵,余莹.基于图变换的工作流建模及正确性分析[J].科技广场,2007(9):6-9. |
| |
| 作者姓名： | 曾平安 任胜兵 余莹 |
| |
| 作者单位： | 中南大学信息科学与工程学院,湖南,长沙,410083 |
| |
| 摘 要： | 对工作流过程模型的研究是当前工作流研究的热点之一。现有工作流过程模型在可视化、描述全面性、过程分析以及形式化等方面难以均衡,健壮性和柔性不足。针对上述问题,基于图变换设计了一种新的工作流过程模型规范,并在这个工作流过程模型规范的基础上,利用TIGER工具实现了一个工作流建模与分析环境,使得相应工作流过程模型具有直观、简洁、形式化、描述能力强和便于分析的特点。
|
| 关 键 词： | 图变换 工作流过程模型 工作流建模 正确性分析 |
| 文章编号： | 1671-4792-（2007）9-0109-04 |
Workflow Modeling and Correctness Analysis Based on Graph Transformation |
| |
| Zeng Pingan,Ren Shengbing,Yu Ying.Workflow Modeling and Correctness Analysis Based on Graph Transformation[J].Science Mosaic,2007(9):6-9. |
| |
| Authors: | Zeng Pingan Ren Shengbing Yu Ying |
| |
| Institution: | Department of Information and Engineering, Central South University, Hunan Changsha 410083 |
| |
| Abstract: | |
| |
| Keywords: | Graph Transformation Workflow Process Model Workflow Modeling Correctness Analysis |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
