基于图变换的工作流建模及正确性分析

Workflow Modeling and Correctness Analysis Based on Graph Transformation

对工作流过程模型的研究是当前工作流研究的热点之一。现有工作流过程模型在可视化、描述全面性、过程分析以及形式化等方面难以均衡,健壮性和柔性不足。针对上述问题,基于图变换设计了一种新的工作流过程模型规范,并在这个工作流过程模型规范的基础上,利用TIGER工具实现了一个工作流建模与分析环境,使得相应工作流过程模型具有直观、简洁、形式化、描述能力强和便于分析的特点。

Workflow Process Model （WPM） nowadays has become a hot topic in Workflow area. Techniques on Workflow exist, however, they are lack of robustness and flexibility, which is particularly exhibited in optimizing the trade-offs among several aspects, such as visualization, full-scale description, process analysis, formalization and so on. In this paper, we propose a new workflow process model specification. TIGER is applied to implement the workflow modeling and analysis environment. The proposed specification significantly improves the current WPM by introducing more characteristics, such as intuitionist, terseness, formalization, good-description-capability and easy-to-analysis.