基于约束有向图建模的工作流管理系统构建

摘要

本文首先给出了工作流技术的一些基本概念，然后对传统的建模方法进行了介绍和比较，这些方法在业务过程的描述能力或模型本身的灵活性等方面存在着一定的不足。针对上述问题，本文提出一个基于约束有向图的工作流建模方法，该方法通过对有向图的节点和连接弧进行约束，解决了有向图在业务过程建模中描述能力不足的问题，同时保留了有向图的建模直观性和灵活性。 该建模方法将整个工作流模型划分为组织模型、过程模型和数据模型三部分。在文中详细给出了各部分模型的形式化定义、组成元素及其相互关系，并利用面向对象的程序设计方法将模型实现。在组织模型中对RBAC模型进行改进，解决了RBAC模型在细粒度信息控制和权限时间约束上的不足。在数据模型中对工作流管理系统中的数据进行了分类和刻画。对工作流管理系统中最主要的数据载体——表单，设计了表单模板，通过模板定义，自动生成表单，利用组织模型中改进的RBAC模型对表单进行权限控制。 本文在提出和设计了上述建模方法的基础上同时完成了以下工作： 基于该建模方法设计实现了基于关系数据库的工作流引擎，给出了工作流引擎的组成功能模块和主要调度控制算法。 针对当前工作流管理系统发展中体现出的分布式结构的特点，给出了基于J2EE平台构建工作流管理系统的部署结构方案。 进行了建模环境的开发，并给出相应的建模实例，该建模环境支持工作流模型的XPDL描述的生成。 在文章的最后对全文进行了总结，指出不足和下一步要进行的工作。

目录

文摘

英文文摘

原创性声明及关于学位论文使用授权的声明

1前言

2工作流技术简介

3基于约束有向图的工作流建模

4工作流管理系统的构建

5总结

附录

参考文献

致谢

攻读学位期间所发表的学术论文