工作流过程模型理论研究综述

工作流过程模型理论的研究还很不成熟,在建模方法上还没有形成比较系统的理论体系,过程建模缺乏统一有效的理论基础。本文研究目前主要的几种工作流过程模型理论,并比较他们的优缺点和适用范围。得到针对工作流的具体情况结合使用多种建模理论是目前工作流过程模型建模的有效措施。

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

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