支持工作流动态变化的过程元模型

支持动态可变并具备灵活性是人们在实际应用中对工作流管理系统提出的新要求,已有的相关研究工作都集中在对工作流中发生变化的某个具体问题上.提出了支持动态特性的工作流过程元模型,可以为动态过程模型的设计提供指导.从时间和工作流组成的过程级别两个角度分析了其动态特性的表现,扩展了工作流管理联盟的工作流元模型.扩展后的过程元模型在工作流的建立阶段力求将动态特性进行描述和定义,在工作流执行阶段可以根据已定义的动态属性,处理过程的变化情况.基于该元模型,工作流管理系统既具有灵活性,又有利于变化控制操作.     

分布式工作流系统的柔性管理

柔性问题是当前工作流系统中的研究热点之一。讨论了分布式工作流系统的柔性管理问题。在模型定义中用工作流接口-工作流定义的结构替代传统的工作流定义,将工作流定义具体划分为预定义操作包和扩展定义操作包,实现了动态的功能自适应;在执行过程中动态进行注册和注销执行机,引入协调机和路由规则库,实现了可变的路径自适应。     

面向动态工作流的Web服务组合

利用动态工作流模型,将Web服务的组合过程与工作流的过程模型有机结合起来,从而建立面向动态工作流的复合服务。在复合服务的执行过程中,通过引入服务评价函数,并根据工作流过程模型中所定义的各项任务之间的业务逻辑与业务规则,最终实现工作流任务的动态绑定与执行。     

一种乐观嵌套工作流事务模型

为解决目前工作流事务管理的不足和存在的问题,本文基于多数据版本、三阶段执行的并发控制理论提出了一种乐观嵌套工作流事务模型,该事务模型借用时间戳的概念,通过对不同事务中活动类型的分类,较好地解决了长执行事务和协同事务的可靠性和正确性问题,提高了工作流处理的效率。乐观嵌套事务模型把嵌套事务、工作流模型和并发控制协议有机地结合在一起,定义了较为完整的事务操作原语及其语义。本文还给出了乐观事务模型到工作流模型的映射,使得事务工作流执行过程中,其操作原语和乐观事务模型的操作原语是一致的,工作流活动的转移控制与乐观嵌套事务模型的子嵌套事务的生成过程及其表示方式也是一致的。     

SPEM2XPDL模型转换研究*

将软件过程技术与工作流技术相结合,严格定义了SPEM2XPDL模型转换规则,设计并实现了一个SPEM2XPDL模型转换引擎.此引擎将SPEM描述的软件过程转换为符合工作流定义(XPDL)的工作流过程,从而可基于工作流管理系统对软件过程提供执行支持.SPEM模型经引擎转换后在工作流管理系统Shark上的成功执行表明了引擎的可用性.     

一个基于自适应规则库的柔性工作流模型

在传统工作流建模思想的基础上,通过综合考虑各种动态的需求以及流程中的可变因素,提出了一个基于自适应规则库的柔性工作流模型,并从形式化定义的角度出发,详细论述了规则库的设计及应用逻辑。在系统建模阶段尽可能对动态因素进行描述和定义,力求做到定义时的柔性,并允许工作流在执行时进行过程、角色、状态和异常定义的修改,力求做到运行时的适应性柔性,使工作流系统在建模定义的整体框架内可以动态地进行调整,从而实现工作流的动态性和自适应性。     

一种支持柔性的工作流过程元模型

工作流管理系统的动态自适应能力在很大程度上取决于过程模型的动态支持能力。本文分析和讨论了过程模型的动态特性和工作流管理联盟WfMC定义的过程元模型。在此基础上,引入柔性工作流定义、同步器、变换器等新元素,改进和扩展过程定义元模型。改进和扩展后的过程元模型具有更大的柔性和重构性。由于引入了变换器,为增强过程元模型的智能性做了基础性工作。另外,对描述过程元模型的定义语言WPDL也做了改进和扩展。     

柔性化的产品开发工作流模型的研究

现有的工作流模型在支持非确定型业务和意外情况上存在着不同程度的局限性,为了提高产品开发工作流系统的动态适应性,提出了一种新的柔性化工作流模型ASD。文章给出了ASD的形式化定义,并在此基础上介绍了工作流系统的动态过程修改策略和工作流模型执行算法。     

基于活动网络图工作流过程模型的设计

根据工作流管理联盟(WFMC)制定的过程定义元模型和基于XML的过程定义语言(XPDL)规范,论文设计了一个独立通用的基于活动网络图工作流过程模型,它可以输出一个标准通用的过程定义,该过程定义能被不同的工作流运行系统解释与执行。     

基于活动网络图的工作流过程定义工具的研究

该文基于工作流管理联盟(WFMC)制定的工作流过程定义元数据模型,提出了一个独立通用的基于活动网络图的工作流过程定义工具,它遵从WFMC制定的XPDL规范,可以输出一个标准通用的过程定义并能被不同的工作流运行系统解释执行,从而实现完全的过程定义的分离存储。     

Classification and evaluation of timed running schemas for workflow based on process mining

The system running logs of a workflow contain much information about the behavior and logical structure between activities. In this paper, a mining approach is proposed to discover the structural and temporal model for a workflow from its timed running logs. The mining results are represented in the formalized form of Petri nets extended with two timing factors that allows validation or verification the actual behaviors, especially the temporal constraints between activities. According to the reachability graph of the extended Petri net model mined, all running schemas of a workflow can be generated, which defines the temporal constraints between running activities. By calculating the earliest and latest start time of each activity, the earliest starting and latest existing time of each state in the running schema can be determined. Based on the temporal relations between the timing factors of each running state, the running schemas can be classified into six classes. The effects of the six classes of running schemas on the implementation of the whole workflow are evaluated so as to obtain the best one that can ensure the workflow is finished in the shortest time. The standards for the ideal, reliable and favorable running schemas and their existence conditions are discussed, which can be used to evaluate the running logs and control the future running of a workflow.     

基于信牌驱动模式的工作流柔性建模的研究

目前大多数工作流系统都不能支持动态可变的柔性特征,而支持动态可变的柔性工作流系统是人们在实际应用中对工作流系统提出的新要求,也是企业为了满足业务流程变更的需要.提高工作流系统的柔性需要从工作流的建模、系统设计等各方面去努力.在协同信牌驱动工作流模式模型的基础上引进了适合该模式的柔性建模的元模型,并且提出了限制该模型的一些规则来讨论基于该模型的柔性建模工作流系统的实现.     

面向动态工作流的Web服务组合模型研究

把Web服务与工作流相结合,将Web服务作为工作流中的各项任务,通过Web服务的动态组合技术,建立面向动态工作流的服务组合模型.对Web服务描述进行了扩展,提出了一个基于层次结构的服务发现模型,支持Web服务开发与部署的分离,并通过Web服务的动态查找,对符合要求的可用服务器,引入服务评价函数,根据服务器服务份额、价格策略以及信任度等因素对服务器进行综合评定,实现复合服务在运行时的动态部署与绑定.并通过工作流引擎对各项子任务的交互与完成进行相应控制,最终实现Web服务的动态绑定模型的执行框架.     

面向动态工作流的Web服务组合模型研究

把Web服务与工作流相结合,将Web服务作为工作流中的各项任务,通过Web服务的动态组合技术,建立面向动态工作流的服务组合模型。对Web服务描述进行了扩展,提出了一个基于层次结构的服务发现模型,支持Web服务开发与部署的分离,并通过Web服务的动态查找,对符合要求的可用服务器,引入服务评价函数,根据服务器服务份额、价格策略以及信任度等因素对服务器进行综合评定,实现复合服务在运行时的动态部署与绑定。并通过工作流引擎对各项子任务的交互与完成进行相应控制,最终实现Web服务的动态绑定模型的执行框架。     

基于规则的动态工作流建模方法的研究与设计

现代企业流程所固有的多变性和灵活性,凸显了工作流在处理动态不确定因素方面的不足。针对这一情况,提出了一种基于ECA（event—condition—action）规则和活动选取一组合规则的动态工作流模型。该模型采用柔性活动对流程中的不确定因素进行了封装,用活动选取一组合规则来约束柔性活动的具体化过程,并设计了一种高效的活动自动选取一组合算法,来实现柔性活动的具体化。     

动态服务聚合流程定义元模型及其应用

适应Web服务的动态变化性是流程驱动的服务聚合研究的一个重要内容,传统的工作流建模思想必须加以改进以适应这一新的应用需求。本文引入了服务结点和服务群的概念,从服务聚合的过程维和资源维出发定义了服务聚合流程定义元模型。在此基础上,基于扩展的工作流网提出了一种新的服务聚合流程／资源描述模型WSCP／R-net,有效解决了现有的基于基本工作流网的服务聚合建模技术所不能解决的不确定路径选择和服务的动态变化性问题。文章以城市危机应急处理的Web服务流程构建为例说明了WSCP／R-net应用的有效性和可行性。     

基于Flex和Jbpm的自定义工作流研究与实现

针对当前企业业务流程的个性化需要和业务需求多变的问题,研究了基于flex和JBPM实现自定义工作流来解决上述问题。采用flex技术和设计模式实现了flex gef工作流框架,该框架实现了流程模型到xml数据的转换,通过动态路由实现了工作流多步回退。最后Jbpm工作流引擎载入符合jpdl规则的流程定义文件生成工作流实例。经运行后表明,该系统可实现用户自定义工作流且可实现多步回退的功能。     

电子政务中构建工作流开发平台技术的研究

讨论了电子政务中工作流开发平台的构建，通过图形化的方式定制具体的工作流程，并在工作流引擎基础上实现工作任务的动态流转和跟踪，通过对工作流流转的过程进行监控和动态调整，从而保证定制好的工作流的有效执行。