工作流系统的安全业务流程

尽管工作流管理系统得到了广泛的应用，但是目前存在的工作流管理系统只能模拟业务流特逻辑，缺少对业务约束的模拟，鉴于此，本文提出了安全业务流程的概念，建立了一个安全业务流程模型，给出了安全业务流程的实现方案。     

一种基于关系型数据库的工作流管理系统

本文提出了一种基于关系型数据库的工作流管理系统。该方案将业务分为基础业务与拓展业务,然后通过一个简单的工作流模型表示基础业务逻辑,并使用关系型数据库处理拓展业务。此外,该方案将业务逻辑与业务的设计相结合,形成了一个通过配置即可开发信息管理系统的平台。该系统的实际应用表明该方案实现简单,能够处理大部分其他工作流模型无法表示的工作流模式,并且该系统易于业务人员操作,能够达到快速开发的目的。     

基于RBAC的工作流管理系统授权约束方法

针对工作流管理系统动态授权的特性,在基于角色的访问控制(RBAC)模型基础上,提出一种权限约束支持的RBAC模型,利用Datalog逻辑语言描述约束策略,借助Datalog推理机实现一个“任务角色”分配的授权算法,解决工作流管理系统动态授权约束的问题。     

一种新的业务过程管理模型

通过对工作流本质的探讨和对WfMC工作流参考模型的分析,提出了在分解业务过程控制逻辑与应用逻辑的基础上,进一步将控制逻辑分解为路由逻辑与资源管理逻辑的思想.提出了描述资源管理逻辑的资源管理模型.基于资源管理模型提出一种新的过程管理模型BRM,给出了基于BRM的业务过程管理系统的系统框架和功能模块.与WfMC工作流参考模型的对比表明:BRM模块更清晰,柔性更突出,分解粒度更小.     

基于角色访问控制在工作流管理系统中的应用研究

针对实际应用的需求和工作流管理系统的特点，提出了一个适合工作流管理系统的基于角色的授权控制模型，并将该模型应用到基于过程分解的工作流模型中，从而得到一个具有基于角色的访问控制与授权机制的工作流管理系统．对其中的静态以及动态约束问题进行了分析．同时对增加了基于角色授权管理的工作流系统的体系结构以及实现原理作了较详细的分析介绍．     

工作流中时序约束正确性验证

分析了工作流管理系统中主要应该考虑的时间问题，然后建立了一个工作流时序条件有向图模型，在该模型基础上进行了一些关于时序逻辑推理问题的研究，提出了4个推理规则，同时提出了验证工作流活动时间约束正确性的一些必要条件。研究结果表明，所作的工作对于工作流管理系统的时间建模，监控和性能评价有一定的参考价值。     

基于工作流技术的机关办公业务模拟教学系统的分析和设计

机关办公业务系统是电子政务系统的重要组成部分。本文介绍了工作流的基本概念,利用工作流为理论基础和政府机关公文流转实例建立公文流转模型,采用.NET语言和SQL Server数据库技术来实现机关办公业务模拟教学系统。     

基于工作流的房产信息系统的研究与实现

工作流的引入是房产信息系统建设规范化和平台化的一个客观要求。文章介绍了工作流、工作流管理系统等相关概念，从面向过程的角度出发，将不同种类的房产管理业务高度概括，抽象为一个附带流转控制信息的虚拟档案袋，屏蔽不同业务的差异，从而在工作流平台上统一执行、流转。给出基于工作流的房产信息系统体系结构，并阐述虚拟档案袋和房产工作流引擎等核心组件的设计实现。     

基于工作流技术的机关办公业务模拟教学系统的分析和设计

机关办公业务系统是电子政务系统的重要组成部分。本文介绍了工作流的基本概念,利用工作流为理论基础和政府机关公文流转实例建立公文流转模型,采用．NET语言和SQL Server数据库技术来实现机关办公业务模拟教学系统。     

策略约束面向角色和团队关系的工作流任务分配管理

对任务分配进行有效的管理是适应性工作流中实现动态调整和适应性调整的关键因素之一，WfMC工作流元模型以及绝大多数的工作流管理系统中都引入了基于角色的任务分配，但是很多忽视企业典型工作方式－团队工作方式－与任务分配之间的关系，为此，提出了一个面向角色与团队的混合任务分配方式，并通过层次性策略来约束与协调任务分配中的复杂情况，进一步提高了工作流的适应性，在此基础上建立一个基于单列表，多视图的任务分配管理的实现机制。该方法虽然增加了工作流引擎的复杂性，但更符合企业的工作模式，方便业务建模及实施。     

基于资源限制流图的工作流并发结构的正确性验证

本文在基于Petri网的工作流网的控制流的正确性验证的基础上，提出了基于数据流的资源限制流网的概念，并在资源限制流网的基础上，提出了工作流网的正确性概念，提出了并发变迁的并发性错误检查算法．     

基于业务规则的工作流管理系统模型

ECA规则通过条件与处理集中定义业务流程中活动与活动间的转换关系,并通过事件驱动机制驱动业务流程中相应业务逻辑实现,在一定程度上增加了系统代码的可维护性,但是并没有改变业务逻辑发生变化时需要修改系统代码以维护系统的现状.业务规则可准确描述业务流程中所有业务逻辑,建立与业务流程事件无关的运行机制,更加直接明确地反映业务需求,适应业务需求变化,而无需修改系统代码,基于此建立基于业务规则的工作流管理系统模型.     

基于TC-Net的工作流模型研究

时间要素作为工作流管理的重要部分,是影响企业业务流程部署实施的关键因素。基于工作流中任务具有时间限制的特点,分析任务的时间要素,抽象出任务的形式化描述,定量计算两个连续任务执行的最大时间约束,提出可控时间约束Petri网模型（Time Constraint-Net,TC-Net）。该模型在任务节点中添加时间信息,从任务开始执行时间到任务的执行结束时间及最大约束时间,提高任务时间信息描述精度;利用TC-Net模型表示工作流过程中各项任务,基于任务间顺序、同步和并行关系的传递模型,细化实际业务流程中分析粒度。应用TC-Net模型进行实例分析,实验结果表明该工作流建模方法对时间违反而导致违规操作具有高敏感性,解决了单个任务违规和流程周期不合理两类问题,实现业务过程的管理和监控。     

面向MDA的业务逻辑模型到代码的转换方法研究

业务逻辑自动生成是代码自动生成领域中一个匾待解决的问题。为了解决这个问题,分析了业务逻辑难于生成的原因,在MDA的基础上引入产生式规则的思想,研究PSM模型到代码的转换过程。提出一种基于产生式规则的建模方法对逻辑中业务规则及业务流程进行建横,并基于产生式系统原理,对代码生成器进行设计与实现。基于本方法实现的代码生成器,实现了业务规则及业务流程模型到代码的转换,使目标代码业务逻辑与数据分离,一定程吱上解决了业务逻辑代码自动生成问题。     

基于WfPN的业务流程重组

工作流管理技术在企业的业务流程重组和业务流程自动化中扮演重要角色。它提供了一系列工具来建立、分析、仿真和实施业务流程,按照工作流管理联盟的规范自主开发了AutoFlow工作流管理系统,其中工作流建模方法是整个系统的核心基础。在此,提出了一种基于Petri网的工作流建模理论－WfPN模型,并描述如何将业务流程映射成WfPN(workflow Petri net)模型,WfPN可以作为工作流系统流程建模的理论基础,为业务流程的自动化和BPR的计算机实施铺平道路。     

基于Selenium的工作流业务系统仿真测试

在对工作流系统进行仿真测试时,由于业务系统跨度和规模大,并且存在大量人机交互工作,增加了仿真测试的难度.为解决该问题,提出一种基于Selenium工具的工作流业务系统仿真测试方法.在对B/S结构的业务系统进行仿真测试时,采用该方法自动模拟不同参与者进行人机交互工作,直至业务流程执行完毕.应用结果表明,在大批量流程实例同时分发的情况下,该方法可以并行启动及执行多个流程实例,实现系统性能测试.     

基于工作流的煤质管理信息系统设计

针对传统的煤质管理信息系统对企业内部各部门之间的业务流程控制缺乏支持的问题,设计了一种基于工作流的煤质管理信息系统;分析了煤质管理的相关业务流程;应用工作流技术对煤质管理进行了流程化设计;针对流动中的煤质数据,提出了安全的访问控制策略;并以某煤业集团的毛煤煤质管理流程为例,采用jBPM工作流引擎辅助实现了该流程的自动化处理。实际应用表明,该系统加强了煤质管理业务流程的支持和控制管理功能。     

中国船舶科学研究中心的工作流管理模型

由于使用工作流技术构建的信息系统模型具有良好的可扩展性和灵活 性等特点，工作流技术的研究与使用已成为目前的一个热点，在对工作流技术深入研究的基础上，结合中国船舶科学研究中心的需求，描述了一个具有动态业务自学习过程和动态工作流自学习工程的工作流管理模型。     

时间Petri网在企业经营过程重组中的应用研究

本文给出了时间Petri网对企业经营过程中的生产流水线进行建模，并将之与工作流管理系统相结合以进行仿真分析的一种方案；结合实例说明方案的实施过程，其中关键在于约束条件的充定；通过消除“瓶颈”优化生产流水线，实现企业经营过程的有效重组。