基于规则引擎的一种智能工作流系统研究

工作流系统作为一种重要的过程管理技术,在企业过程重组,协同软件等研究领域取得了很大的成功,然而,传统的工作流系统在复杂多变的企业业务环境中存在诸多不足,据此提出了一种基于规则引擎的智能工作流系统模型,通过规则引擎的应用,很好地提高了系统的自适应能力和通用性。最后,阐述了规则引擎的实现机制,并给出了具体应用。     

基于ECA规则约束有向图的工作流建模

将工作流模型划分为三部分:过程模型、数据模型和组织模型.通过ECA规则与有向图相结合对工作流进行过程建模,利用有向图直观地表述流程的走向,工作流引擎通过对ECA规则的解释导航流程;给出了数据模型中数据对象的形式化定义;在组织模型中对RBAC模型进行改进,解决其在细粒度权限控制上的不足.设计了模型在J2EE下的部署结构.     

工作流管理系统中规则处理问题研究

工作流管理技术作为一种重要的过程管理技术,在并行工程、企业过程重组等研究领域都获得了广泛的应用。但其在工程实施中也还存在着明显不足,主要表现在工作流的运行缺乏适应性。针对这个问题,文章讨论了ECA规则的形式化描述,提出了工作流引擎的运行控制单元模型,并在此基础上分别详细讨论了事件与规则的表示与应用。     

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

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

基于智能多代理的工作流资源分配

提出了一种基于智能多代理实现分布式工作流资源分配的方法。该方法采用KQML语言来设计资源分配代理和工作流引擎之间面向知识交换的通信协议,并且由Router提供消息存储和转发机制。工作流资源分配代理与工作流管理系统的其他代理程序通过KQML消息交流知识,从而达到在分布式、异构环境下的互操作。     

基于UML的工作流引擎建模的研究

本文主要使用uML建模技术,对工作流管理系统的核心部分进行建模,并通过用例视图、交互视图、状态机视图以及活动视图对工作流管理系统所应具有的功能层次进行了分析。     

工作流办理人筛选规则引擎的设计与实现

针对工作流在复杂业务应用场景中按照业务条件动态分配人工节点办理人的需求,设计实现了一种工作流办理人筛选规则引擎,对现有工作流引擎提供的人员变量接口进行扩展,通过执行运行期定义的规则,动态设置办理人集合。该引擎分析了办理人筛选规则基本构成元素,定义了筛选规则对象模型,给出了规则解析运算的算法逻辑,并且提供了规则的可视化编辑设计界面,降低运营人员操作难度,达到快速灵活分配办理人的目的。该规则引擎已经结合开源Activiti工作流引擎在多个企业的实际应用并获取良好的应用成果。     

工作流管理系统业务约束的研究

目前,工作流管理系统得到了广泛的应用,但现有的工作流管理系统只能模拟业务流转逻辑,缺少对业务约束的模拟。鉴此,本文提出了工作流管理系统业务约束的概念,建立了业务约束模型,并给出了整合业务约束和业务流转逻辑的方案。并提出了在已有工作流管理系统中实现业务约束的方案。     

基于ECA规则的工作流建模实施方案

基于ECA规则的工作流系统能够充分利用数据库的安全、恢复,并发等成熟的技术进行建模,但ECA难于形式化,使得建模时不能够保证工作流系统的语义的正确性;而Petri网具有形式化描述的基础和正确性分析的优点,将这两方面结合起来,通过对Petri网中控制流结构的分析人出了由Petri网向ECA规则转化的方法,以保证基于ECA规则的工作流系统的正确性。     

敏捷工作流引擎的研究与实现

工作流引擎是工作流管理系统的核心。它为管理系统提供一系列通用的服务,以实现各种管理系统的具体应用。针对目前企事业的一般业务,我们运用了工作流引擎的概念,主要探讨敏捷工作流引擎的具体设计和具体实现。实践证明．敏捷工作流引擎可以满足企事业一般的需求．而且明显缩短了开发周期。     

基于语义约束的资源工作流并发正确性保证

控制流结构中并发变迁的正确性是工作流模型正确性的基础．为保证模型的正确性,提出了资源语义约束工作流网的基本概念,丰富了控制流的数据语义,给出了两方面的控制流并发正确性：并发控制流与其数据语义的一致性检测算法及改正原则,保证了模型中的并发控制流结构的正确性;实例中基于数据语义约束的并发变迁正确性保证机制,提出了申请锁和释放锁的算法,保证了工作流实例中并发执行的正确性。     

Optimizing Grid-Based Workflow Execution

Large-scale applications can be expressed as a set of tasks with data dependencies between them, also known as application workflows. Due to the scale and data processing requirements of these applications, they require Grid computing and storage resources. So far, the focus has been on developing easy to use interfaces for composing these workflows and finding an optimal mapping of tasks in the workflow to the Grid resources in order to minimize the completion time of the application. After this mapping is done, a workflow execution engine is required to run the workflow over the mapped resources. In this paper, we show that the performance of the workflow execution engine in executing the workflow can also be a critical factor in determining the workflow completion time. Using Condor as the workflow execution engine, we examine the various factors that affect the completion time of a fine granularity astronomy workflow. We show that changing the system parameters that influence these factors and restructuring the workflow can drastically reduce the completion time of this class of workflows. We also examine the effect on the optimizations developed for the astronomy application on a coarser granularity biology application. We were able to reduce the completion time of the Montage and the Tomography application workflows by 90% and 50%, respectively.     

基于服务和规则扩展的工作流模型

随着工作流技术在企业应用范围的不断扩大,如何使工作流系统适应现实企业需要成为一个重要的问题。论文结合传统的工作流模型,通过引入服务模型,对传统模型进行扩充,提出以服务为中心,使用规则扩展的工作流模型。新的模型将工作流模型的流程模型、组织模型和资源模型有机地结合在一起,使得工作流系统更加灵活,适应企业在动态变化环境下的协作要求。最后,对模型的实现方式作了简要的介绍。     

一个结构化的工作流模型建模方法

工作流技术在过去的几年一直是研究领域的一个热点。工作流建模是该技术中的重点。一个定义的很理想的工作流模型可以使得工作流系统有效的运行。因此如何确保工作流模型的正确性和一致性是工作流建模过程中的关键问题。对工作流的建模采用了一种结构化的方法。就象现代结构化编程的工作方式，用以避免建模过程中各种各样的错误。将对该思想的产生、对错误的更正以及对模型的表述进行说明。     

基于时间约束Petri网的工作流可调度性分析

引入时间参数控制工作流高效执行是工作流技术研究的重要内容之一。在工作流的Petri网模型中引入时间参数,不仅可以对工作流中的活动进行时间约束,而且能建立相应的工作流时间约束Petri网模型。文中在分析该模型的时间约束和可调度性的基础上,提出了对工作流可调度性分析验证方法及其相应的算法,最后通过一个实例说明了分析验证的过程。     

基于Web的工作流系统的分布、分层建模和执行

许多传统的工作流管理系统都只提供单层的过程模型，整个业务流程都在一个过程模型中详细描述，使得工作流的模型过于复杂。文中引人工作流的分层模型和嵌套分布执行机制，增强了系统对异构、分布应用的支持力度，提高了对业务流程监视的可视程度，同时也给系统安全机制的实现提供了基础。文中着重讨论其体系结构、工作流模型的建立、工作流引擎和多引擎间的协调机制等。     

支持状态机建模的工作流引擎研究

为了能清晰地描述存在较多审批环节和步骤跳转的业务流程,提出利用状态机为流程建模的方法。通过改进传统的关系结构工作流引擎,给出一个支持状态机建模的关系结构工作流引擎的设计方案,详细介绍该引擎的设计原理和实现柔性方法。最后通过一个示例,演示支持状态机建模的工作流引擎的工作机制和实例迁移的过程。原型已经应用到高校学费管理系统中。实践证明,该引擎可以有效地支持状态机建模,并缩短关键业务的开发周期。     

数据中心的资源分配技术

针对数据中心的资源分配问题,论文讨论了数据中心虚拟化技术及资源分配的核心要求：数据中心性能保证、资源的动态分配、资源分配的公平性及收益最大化,分别针对这些方面讨论了几种资源分配算法,最后进行总结并对未来的研究发展趋势提出观点.     

基于资源约束PETRI网的建模和资源组合优化

基于传统的广义随机Petri网,改进定义一种带有资源约束的Petri网。资源约束Petri网中的每个时间变迁,都有一个资源关联,并且其发射速率约束于被关联的资源。使用该资源约束Petri网,可以对企业业务流程进行建模和优化。该模型中不仅包括工作流中各个任务的相互关系,同时包括可以被该工作流使用的各个资源。通过一个分枝限界算法的应用,可以在较少的仿真次数内,对资源配置进行优化,使得整个流程的性能最高。