面向知识应用和交互的工作流系统建模与控制

针对基于知识应用和交互的复杂工作流系统 ,对知识应用特性进行了分析 ,并构造了对应知识聚合与信息再生的过程单元 利用过程单元之间的关联分析 ,对面向知识应用和交互的工作流系统建模进行了深入的研究 在对一个基于知识应用的具体实例进行分析的基础上 ,探讨了基于知识应用和交互的工作流系统中的控制问题 ,提出了一种基于区域控制和交互的控制策略 ,并给出了控制分解所遵循的基本原则 最后 。

无线迁移工作流按需移动中停靠站缓存管理机制

作为基于移动计算范型迁移工作流研究的继续,在无线迁移工作流按需移动中建立工作流单元在停靠站服务器中的存储模型和方法,在移动设备主动或被动地处于断接,即没有网络连接的状态下,有效利用缓存中的工作流单元,以支持大型工作流程序在资源受限的移动设备上更有效地运行。在缓存管理中,引入了分代算法。针对more-relied代和less-relied代中工作流单元的不同特点,采取不同的分配方法和垃圾收回算法,以提高分配效率,在很大程度上避免内存垃圾回收算法带来的长"停顿"。实验表明,无线迁移工作流按需移动中停靠站缓存管理机制模型合理,有效支持迁移工作流在无线环境中的应用。

基于组件和工作流技术的系统模型

组件技术和工作流技术是两种不同的技术,该文讨论了它们相互结合,构建工作流组件的方法,并给出了基于组件和工作流技术的系统模型,对开发工作流系统有一定实用价值。

基于企业细胞单元的动态联盟构造方法研究

提出了一种基于企业细胞单元的动态联盟构造方法。从联盟企业与生物体以及联盟企业组织单元与生物细胞两层面的辩证关系角度,分析了动态联盟企业的生物特征。在此基础上提出了动态联盟企业细胞单元的概念,结合生物体的特征,分析了基于企业细胞单元的动态联盟企业工作流程。通过比较生物体特征与联盟企业业务实现过程的相似性,设计了基于生物体特征的软件Agent功能模块,并利用这些功能Agent模块,给出了动态联盟企业的过程建模研究。

基于Petri网的遥感卫星业务运行管理单元模型设计与仿真

介绍了Petri网和四种工作流原语向Petri网映射的方法及其性能分析算法。然后通过研究遥感卫星业务运行管理单元的业务运行流程,实现了基于Petri网对遥感卫星业务运行管理单元常规模式和应急模式的工作流程的层次化建模。最后利用Petri网仿真软件Visual Object Net对常规模式和应急模式的工作流程进行仿真并分析其时间性能。仿真结果表明所建立的基于Petri网的工作流模型是正确的。并且业务运行流程在采用应急模式时,业务运行管理单元节省了大约60%的系统运行时间,故该模型运行效果良好。

网格环境中的一种工作流访问控制模型

鉴于现有网格虚拟组织访问控制模型没有对网格工作流授权提供有力的支持,该文提出一种网格工作流访问控制模型GWACM,定义了委托步和委托结构体以及它们之间的依赖关系,形式化地描述了流程任务间的内在约束关系,阐述了委托步的生命周期模型。给出了构建委托步和委托结构体激活上下文的相关算法,有力地支持了委托权限的动态管理。

基于流程剖面的弹性工作流系统设计与实现

工作流技术在办公自动化系统内得到了广泛的应用,却面临业务流程的多样性和易变性等应用难点。针对这一问题,发现办公自动化系统中的流程多样性和易变性的主要原因在于不同人员、不同部门之间的协作,而不是单个流程环节的变化。基于此,所研发的弹性工作流系统首先依据部门职能细粒度的区分与定义部门的原子职能、定义并实现与原子职能匹配的、不可再分的原子业务,形成流程剖面。业务流程的新建和更改等则依据流程剖面,将业务流程实现为原子业务的组合与拼接,支持原子业务之间的任意组合,并以此来满足部门间协作等带来的业务流程易变性等需求。该系统既保留了柔性工作流引擎的多变性,同时也具有传统刚性工作流引擎易用性的特点。

工作流技术及其在网上审批中的应用

论文针对工作流技术的产生,体系结构及特点作了简要介绍,并分析了网上审批的业务过程,提出了基于工作流控制的网上审批系统的设计方法,从而解决了目前存在的网上审批系统中并未实现真正的流程化的问题。论文从具体审批流程的抽象、简化,到整个系统规划,都进行了详细的阐述、说明,最后将文中提到的设计方法应用到了实际项目中。

无线迁移工作流环境中程序按需移动

作为基于移动计算范型的迁移工作流研究的继续,建立一种无线迁移工作流环境中程序按需移动模型及其实现方法,以支持大型迁移工作流在资源受限移动设备上运行。首先给出了迁移工作流单元模型,它是支持无线环境下迁移工作流的基础,然后给出了迁移工作流按需移动系统架构,讨论了架构中各部分的功能,包括停靠站服务器和工作流管理机的实现机制,分析了通过反射对工作流单元的动态调整。实验表明,无线迁移工作流环境中程序按需移动模型合理,运行可靠,有效支持迁移工作流在无线环境中的应用。

基于CSCW的集成系统的研究

CSCW系统柔性关键技术之一就是如何集成系统,使集成系统不仅支持业务的协同处理,而且具有柔性,以支持机构改革和适应市场进行快速重组。提出了一种CSCW环境下的基于业务划分的任务处理单元,通过消息驱动机制实现同步协作,依赖工作流机制集成系统的方案以很好地支持有协同工作需求的企业业务管理的完成。

无线迁移工作流环境中功能片动态装载机制

从无线迁移工作流环境中资源受限的移动设备特性出发,提出一种基于功能片的动态装载机制,以实现大型迁移工作流程序在移动设备上的不降级运行.首先,给出了动态装载单元的定义,包括功能片、说明文档和控制块.控制块确定了功能片的状态;其次,设计并实现了FU的动态装载方案,包括功能片的读入、处理、调度、执行和卸载几个部分;最后,设计并实现了一个移动酒店预订系统来验证其合理性.

一种统一化权限体系的设计

在RBAC模型和现有应用系统中权限设计现状的基础上，提出了一种适用于大型信 息系统的统一化权限体系的规范设计，它包括业务对象的规范化设计、用户与角色混合授权 、对象个体权限控制以及动态的工作流授权的集成。

广东省不动产登记审批发证系统的设计与实现

在广东省进一步加快推进不动产统一登记发证的背景下,通过对业务需求进行系统分析,提出了系统的设计思路、总体框架和数据库结构设计,并对系统在实现过程中采用的关键技术进行了分析,然后,介绍了系统重要功能的实现,最后对系统的主要特点进行了总结和展望。

数字化产品开发中的过程管理

分析了项目管理、流程管理和产品数据对象的生命周期管理的底层一致性和相互关系。将数字化产品开发过程的管理在粒度上分为了项目管理、流程管理和产品数据对象的生命周期管理三种 ,分别对应任务、活动和操作三种不同粒度的过程单元 ,不同粒度的过程单元使用不同策略。在此基础上建立了过程管理的模型 ,给出了过程管理在BITPDM系统中的初步实现 ,拓宽了PDM的管理范围 。

一种网格工作流委托授权框架模型

在动态构建服务网格虚拟组织以协同问题求解的新趋势下,提出了一种服务网格工作流委托授权模型。提出委托凭证以细粒度地表示授权决策结果,定义了委托步和委托结构体以及它们之间的依赖关系以形式化地描述流程任务之间的内在约束关系。工作流的每个原子任务被授予一个由委托凭证和激活凭证集组成的委托步,每个任务被授予一个由委托步集和激活凭证集组成的委托结构体。各自的激活凭证集分别规定了委托步之间和委托结构体之间的依赖关系。通过监控委托步和委托结构体能够细粒度地控制网格工作流授权执行过程。实例表明了该模型能满足工作流应用对安全的需求。

基于扩展UML活动图的工作流异常处理过程

在UML活动图上实现工作流异常处理功能,避免工作流无故中断,影响工作流的运行。扩展了UML活动图,增加了结构单元和功能单元,保证工作流执行语义一致性的同时,不但限制了异常恢复范围而且还能自动设置恢复点;提出T型工作流恢复算法,该方法本着同层恢复、向外扩散的原则,将恢复粒度上升到单元级别。实验结果证明,该算法是可行的,不但可以通过为各种单元设置补偿任务而减少各活动节点补偿任务的执行,还避免了对执行历史的维护。

基于图形处理器的并行遗传过程挖掘

为提高遗传过程挖掘算法对大规模事件日志处理的性能,该文提出一种基于GPU的并行遗传过程挖掘算法.由于传统基于二进制的染色体编码不能表示因果矩阵中的AND-Split/AND-Join和OR-Split/OR-Join结构,提出一种新的染色体编码方案.该方案通过内容、标识、位置3个数组,有效地解决了GPU上因果矩阵的遗传表示问题.同时,设计并实现了高效的遗传交叉/变异算子和适应度并行计算方法.仿真实验表明,与当前CPU上的遗传过程挖掘算法相比,本文算法在求解精度和收敛速度方面都具有明显优势,并且在两个数据集上分别取得36.4倍和47.2倍的执行时间加速比.

基于Aglet的无线迁移工作流机制研究

分析了无线环境中基于移动Agent的迁移工作流系统的关键技术,提出了以工作流单元为基础的无线迁移工作流模型,并用移动代理平台Aglet对其进行仿真实现。针对无线环境的特点,移动Agent在移动设备之间应使用强迁移的方式实现工作流过程,以保证工作流单元连续执行。在使用Aglet对模型的实现中,着重对移动Agent的强迁移机制在原平台上的拓展及工作流单元的连续下载组装进行了分析。

一个弱相关多Agent结构的工作流管理模型及应用

计算机支持的协同工作（ＣＳＣＷ）研究领域的一个重要组成部分：工作流技术，是实现合作工作的关键技术．Ａｇｅｎｔ技术及多Ａｇｅｎｔ系统是人工智能的一个新兴研究课题，是解决复杂分布式问题的一个较为理想的途径．本文结合Ａｇｅｎｔ技术对工作流管理进行探讨，提出了一个新的基于弱相关多Ａｇｅｎｔ结构的工作流管理模型，并给出该模型的一个实际应用．

以护理工作流程为基础的护理单元设计方法初探——以西机医院为例

护理模式及分级护理是护理工作的基础,决定了护理工作的流程,不同的医院根据自身的情况制定适合的护理工作流程,体现出流程的共性和个性。在设计护理单元时,以护理工作的流程为基础才能设计出更为适合医院实际的护理单元。本文以西机医院护理单元的设计为例,分析以护理工作流程为基础的护理单元的设计方法,为护理单元的设计提供参考。