论文摘要
工作流管理系统(WfMS)是办公自动化的重要构件之一。构建一个安全的工作流管理系统,能有效地保证军事机关办公信息的安全,对促进工作流技术的发展有重要的意义。本论文分析和总结了工作流管理系统的相关技术,在深入研究已有工作流管理系统的基础上,提出了一个具有安全特性的工作流管理系统框架。并从理论到实践对其中的过程建模技术和访问控制技术进行了深入的研究和探讨,主要研究内容如下:1)在详细研究工作流管理系统参考模型和Wil Va Der Aalst、Wei-kuang Huang等人提出的工作流管理系统框架的基础上,设计了一个具有安全特性的工作流管理系统。2)针对基于任务过程模型的不足,分析了基于角色的过程模型,在对象Petri网过程模型中加入角色的概念,构建了一个基于角色的对象Petri网工作流模型(WOPN)。3)在基于角色的对象Petri网工作流模型的基础上构建了一个扩展的基于角色的工作流访问控制模型(E-WACM),并运用一阶逻辑程序对其进行描述和推理。运用其最小模型语义和理想模型语义对访问控制和授权约束进行推理和验证。4)在上述研究的基础之上,构建了安全工作流管理原型系统中的过程定义模块、授权管理模块和访问控制模块,并详细描述了过程定义模块、授权管理模块和访问控制模块的技术解决方案。