工作流技术是当前计算机应用中的一个研究热点,它是实现企业业务过程建模、仿真优化分析、过程管理与集成以及最终实现业务过程自动化的核心技术,被广泛地应用于办公自动化、业务流程重组(BPR)及其他领域。工作流技术常与其他应用系统进行有效的结合,生成符合企业需求的各种业务管理系统。因此,深入研究和发展工作流技术对促进企业业务重组、企业管理的规范化和信息化以及提高企业经济效益有重大意义。 工作流模型是业务流程在计算机中的抽象表示,工作流模型的优劣直接影响工作流管理系统的执行性能。工作流建模是构建工作流管理系统的关键所在,工作流建模方法是工作流管理系统理论研究和实际应用的基础,是整个工作流技术研究中首要的关键问题。 本文首先给出了工作流技术的一些基本概念,然后对传统的建模方法进行了介绍和比较,这些方法在业务过程的描述能力或模型本身的灵活性等方面存在着一定的不足。针对上述问题,本文提出一个基于约束有向图的工作流建模方法,该方法通过对有向图的节点和连接弧进行约束,解决了有向图在业务过程建模中描述能力不足的问题,同时保留了有向图的建模直观性和灵活性。 该建模方法将整个工作流模型划分为组织模型、过程模型和数据模型三部分。在文中详细给出了各部分模型的形式化定义、组成元素及其相互关系,并利用面向对象的程序设计方法将模型实现。在组织模型中对RBAC模型进行改进,解决了RBAC模型在细粒度信息控制和权限时间约束上的不足。在数据模型中对工作流管理系统中的数据进行了分类和刻画。对工作流管理系统中最主要的数据载体——表单,设计了表单模板,通过模板定义,自动生成表单,利用组织模型中改进的RBAC模型对表单进行权限控制。 本文在提出和设计了上述建模方法的基础上同时完成了以下工作: