作　　者： ; ; ;

机构地区： 中南大学信息科学与工程学院

出　　处： 《科技广场》 2007年第9期6-9,共4页

摘　　要： 对工作流过程模型的研究是当前工作流研究的热点之一。现有工作流过程模型在可视化、描述全面性、过程分析以及形式化等方面难以均衡,健壮性和柔性不足。针对上述问题,基于图变换设计了一种新的工作流过程模型规范,并在这个工作流过程模型规范的基础上,利用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.

关 键 词： 图变换 工作流过程模型 工作流建模 正确性分析

领　　域： [自动化与计算机技术] [自动化与计算机技术]