工作流网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的约束,并且阐述了方法的实现.     

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

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

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

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

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

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

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

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

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

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

现代办公自动化系统技术及开发应用

文章研究工作流技术在0A系统中的应用，提出了基于工作流管理的0A系统模型，论述了采用B／S结构体系的优势，最后实现了0A系统的开发和应用。     

基于扩展WF-net的业务过程资源配置分析和优化

在WF-net的基础上扩展了资源库所和资源控制库所,提出了受控工作流资源网(CWFR),以显式地表达业务过程中所涉及的资源,从而能够通过仿真等手段对资源的性能进行度量.在此基础上,根据仿真结果对模型实施资源控制策略,从而实现资源的合理分配,以提高资源的利用率及资源的平衡利用.最后,以保险理赔业务过程为例,采用所提出的CWFR来进行建模、分析,并利用工具DaNamics进行仿真,从而论证了所提出方法的有效性.     

基于Petri网的工作流模型合理性研究

针对难以建立合理的工作流模型问题,将工作流管理联盟(WFMC)定义的工作流模型映射为工作流网络(WF-net).在定义并证明两种不破坏原工作流网络结构特性和系统行为的调整映射的基础上,将该工作流网络调整为完全的扩展自由选择网(EFC-net).通过证明扩展自由选择网与自由选择网(FC-net)的最小死锁有相同的特征.通过引入获取最小死锁的算法,结合秩定理,给出了验证工作流合理性的算法.     

授权机制在工作流管理系统中的应用

访问控制是提高工作流系系统安全的重要机制。基于角色的访问控制(RBAC)被绝大多数工作流系统所采用,已成为工作流领域研究的热点。基于传统的RBAC模型,从工作流访问控制模型与流程模型分离的角度出发,提出了一种将基于角色的静态授权和任务的动态控制相结合的T-RBAC访问控制机制应用于工作流管理中,有效增强了访问控制的灵活性和系统的安全性。该访问控制模型已在企业项目解决方案中得以实施。