基于组织机构图的改进RBAC模型

针对电子政务工作流系统的特点，在基本RBAC模型的基础上，引入了组织机构图和额外授权的概念，提出了改进的RBAC模型，并给出模型各要素的形式化描述．模型根据组织机构图划分出原子权限，借助拓扑集合完成角色的设置．在实现用户-角色和角色-权限的指派过程中，考虑了角色的继承，并给出模型实现过程中应该注意的原则．模型具有实现快捷和管理方便的特点，可以加快工作流管理系统的开发进程．并通过开发的办公自动化系统实例加以证明．     

工作流网WRI WF-net的验证方法研究及实现

WF-net是一种工作流模型,合理性是衡量WF-net模型正确性的一个标准,不合理的工作流模型会导致运行错误.但是合理性验证问题是NP-complete问题,妨碍了WF-net的广泛应用.工作流模型WRI WF-net是WF-net的子集,能够直接保证工作流模型的合理性,这样只需确保用户建立的工作流模型符合WRI WF-net的约束,而不需要进行合理性验证.提出一个WRI WF-net的验证方法,能够在结构上验证模型是否满足WRI WF-net的约束,并且阐述了方法的实现.     

基于角色的工作流访问控制模型

提出了一个基于角色的工作流访问控制模型WACBR(Workflow access control model based on role).WACBR中加入了"任务"的概念,任务是工作流系统执行时的最小工作单元.由于工作流中的任务分别对用户和权限进行授权,采用两种不同粒度的角色分别作为这两种授权的中介.     

用VC++实现工作流管理系统的建模设计

工作流自动化中，最核心的技术为流程自定义，为了设计一个图形化、可视化以及支持各种复杂流程的建模工具，详细介绍了用VC 进行面向对象的设计方法，用一系列已经封装好的模型元素在GUI方式下定义活动的属性和工作流的相关数据，并实现模型的图形文件和数据库文件的保存与读取。应用程序通过ADO与关系数据库SQL相连从而实现流程的定义，给出了部分实现例图。可以实现模型与代码之间的相互转化，并可以随时更新，得到高效率的办公自动化。     

基于事件响应event-response的动态工作流系统

提出了一种在企业工作流管理系统中运用由协作的各企业提供的对事件的响应(event-response)的方案来实现动态的工作流系统。通过工作流引擎灵活地调度、控制，利用基于约束的动态绑定机制动态地将事件的响应请求绑定到合适的event-response和响应提供者(provider)，从而柔性地，协同地完成共同的目标。     

基于Notes开发环境的OAS工作流的设计与实现

分析了OAS子系统体系结构和应用层的功能，介绍了基于Notes的OAS工作流实现技术．在此基础上，针对OAS系统的现存问题，采用功能强大的Lotus Notes群件系统，实现了OAS系统的核心模块．     

一种基于Agent支持电子供应链和B2B电子商务的工作流模型

在WfMC基础上，给出一个跨企业间的工作流模型．在模型中引入Agent技术．并考虑到现代企业运用电子商务技术和采用电子供应链管理的新特点，提出一种基于Agent支持电子供应链和B2B电子商务的工作流模型．     

基于B/S的工艺工作流管理的研究

根据工作流管理联盟(WFMC)的工作流参考模型，结合Web技术，提出了基于B／S工艺工作流管理，阐述了基于B／S的工作流管理原理和工艺工作流管理，并在CAPP系统中实现了工作流管理功能。     

办公自动化系统中工作流配置软件的设计与实现

办公自动化系统的核心是工作流的定义与配置，分析研究了工作流系统，提出了图形化工作流配置软件的设计思想，并实现了一种基于Lotus Notes/Domino群件体系结构的图形化流程配置软件。     

基于Petri网的分层工作流模型研究

为了满足企业对过程模型在描述能力和分析能力上的要求,提出了一个基于Petri网的分层工作流过程模型.在深入分析各种工作流模式的基础上,对基本网的进行了一些的扩展,通过增加变迁入口函数,变迁体函数,消息机制,控制变量等,描述了工作流模式中的多实例,取消,高级同步等复杂模式.给出了工作流过程的描述模型DWF_net和分析模型AWF_net的形式化定义.描述模型DWF_net实现对各种复杂流程的直接描述.变迁入口函数通过对控制变量的判断,来消解DWF_net中的冲突.变迁体函数通过可扩展逻辑描述语句,来实现对控制变量的读写及收发消息等操作.AWF_net作为DWF_net的分析模型,剥离了DWF_net个案的语义信息,可以直接利用已有的Petri网分析技术来分析模型.最后,通过一个综合实例来说明如何使用本文提出的模型来对各种复杂流程建模和分析.