基于Petri网的工作流引擎研究与实现

本文分析了工作流引擎调度中过程实例和活动实例的状态信息,并以Petri网的建模理论为基础,给出了工作流模型到Petri网的映射算法;以关系数据库和.NET来实现工作流的执行引擎,给出了完整的过程关系E-R模型及其相关数据模型,对引擎中核心调度算法进行了阐述。应用实践表明,引擎的设计思想正确。     

基于动态装配模式的柔性工作流管理系统

针对传统工作流管理系统复杂建模的不足，提出了一个适用于复杂系统中关键业务开发的基于关系结构的动态装配的柔性工作流管理系统的框架结构。文中结合法制系统的背景讨论了该框架的模块，以及模块间的引擎调度和柔性控制，并给出了设计和实现。     

适用于实例密集型云工作流的调度算法

工作流调度算法仅适用于单个复杂工作流实例,而不适用于实例密集型云工作流实例,为此,提出了基于实例密集型的云工作流调度算法(MCUD)。MCUD算法先对待处理的一组工作流实例进行分类,再对分类后的同类工作流实例采用一种新的分配方法将用户指定的总最后期限分配到各任务;同时,在调度的过程中动态地调整后续任务的子最后期限。MCUD算法对同类工作流实例中的任务分配不同子最后期限,减小了资源竞争,提高了资源的利用率。仿真实验表明,MCUD相比于其他算法,在满足总的最后期限的前提下更进一步地降低了执行成本和执行时间。     

工作流时序约束模型分析与验证方法

为了解决工作流时间建模与时序一致性验证问题,以时序逻辑和模型检查为基础,提出了一种工作流时间建模与时序一致性验证方法.该方法用一阶逻辑描述工作流模型及其时间信息,用时序逻辑描述工作流的时序约束,用模型检查算法对时序约束进行验证与分析.该方法不是针对某一种时序约束提出来的,而是能够验证任何用时序逻辑描述的工作流时序约束.该方法还能够对未通过验证的时序约束提供工作流运行实例作为反例,帮助用户定位模型的问题.以一个工作流时间建模和时序一致性验证的实例证实了所提出方法的有效性.     

基于角色的供需网工作流建模与分析*

目前的工作流建模大多是基于过程的,并没有强调工作流中的角色及其交互过程。基于此,从角色及其交互角度,结合以活动和角色描述工作流的优点,将角色的概念引入到对供需网工作流的研究中来,提出了基于角色的供需网工作流模型,通过实例分析系统地总结了模型建模的方法与步骤。这种建模思想有利于模型结构的完善,有利于提高工作流模型的安全性和正确性。     

基于扩展计算网的分层网格工作流支撑环境

针对实现资源共享和协同工作的网格技术应用研究与发展现状，提出了分层网格工作流体系结构:在设计层利用网格工作流逻辑和网格工作流语义建模网格工作流，在运行层利用网格工作流调度引擎和网格工作流实施引擎完成任务的实施，在资源层通过网格中间件和运行层交互。为支持上述结构，在(扩展)工作流网和计算网基础上，定义了扩展计算网模型。最后以实例说明了分层网格工作流建模支撑环境的具体应用。     

基于动态有色Petri网的网格服务工作流模型的研究

在深入了解网格技术、网格服务和网格工作流的概念、特点及其应用的基础上,提出了一种可行的网格服务工作流系统模型,重点介绍了动态优化建模技术、动态调度算法的实现思想.定义了一种动态有色Petri网作为服务工作流的建模工具,支持服务工作流的动态优化建模和动态调度,并为服务工作流模型提供性能评价依据.验证表明采用该模型能够很好地满足用户的QoS要求,并且有助于提高资源利用率.     

基于三层SOA模型及工作流的银行卡业务平台设计

从SOA三层模型的思想及工作流技术出发,对银行卡业务进行建模。工作流部分主要负责银行卡业务建模,工作流引擎主要负责流程控制。在此基础上给出银行卡业务模型,提出基于J2EE架构的工作流平台,从Web层和业务层分别进行描述。该平台使流程开发不需要编写大量代码,减少程序员工作量,适用于新流程的变更、添加。     

支持动态调度的工作流D Flow Engine的设计与实现*

基于流程与活动两个级别考虑,提出支持动态调度的工作流D-Flow Engine;从动态路由和流程多版本方面分析了其动态调度特性。通过在流程建模阶段扩展工作流管理联盟的工作流元模型相关定义,重点分析了动态路由和多版本流程迁移在流程运行阶段的调度实现。实践表明,D-Flow Engine提高了工作流的适应性,满足了企业对工作流动态性的需求。     

一种构件化工作流管理系统

工作流管理系统是实现各种信息管理系统工作过程自动化的核心模块。本文提出一种工作流元模型和基于该元模型进行工作流建模的方法,并实现一个构件化的工作流管理系统。该系统支持基于元模型的工作流建模,提供工作流运行的环境,并可以构件的方式集成到外部系统中。     

A robust scheduling method based on a multi-objective immune algorithm

A robust scheduling method is proposed to solve uncertain scheduling problems. An uncertain scheduling problem is modeled by a set of workflow models, and then a scheduling scheme (solution) of the problem can be evaluated by workflow simulations executed with the workflow models in the set. A multi-objective immune algorithm is presented to find Pareto optimal robust scheduling schemes that have good performance for each model in the set. The two optimization objectives for scheduling schemes are the indices of the optimality and robustness of the scheduling results. An antibody represents a resource allocation scheme, and the methods of antibody coding and decoding are designed to deal with resource conflicts during workflow simulations. Experimental tests show that the proposed method can generate a robust scheduling scheme that is insensitive to uncertain scheduling environments.     

基于有色Petri网的工作流阶段性调度

工作流的合理、有效调度有利于改善整个工作流系统的性能，从而提高业务流程的执行效率。静态调度有利于在静态环境下达到全局调度的最优，但不能有效地处理工作流的动态不确定性。而动态调度在考虑工作流的动态不确定性的同时，优化每个任务的调度方案，但很难达到所有任务的全局最优。在总结静态调度和动态调度两种方法各自的优缺点的基础上，本文提出了一种基于有色Petri网的工作流阶段性调度方法。该方法能够妥善地处理工作流的动态性和不确定性，并在静态全局最优和动态单个最优之间达到较好的均衡。仿真实验说明了该方法的有效性和优越性。     

网格工作流调度研究综述

阐述了工作流调度的基本概念和调度的相关知识,分析了目前流行的网格工作流的调度算法的优缺点,并对当前的网格系统和项目所采用的调度机制,从不同侧面对其进行了比较分析.随着服务网格的日益流行,提出了面向服务网格环境下的服务工作流调度,分析了调度中的关键问题,并给出了解决问题的方法和思路.     

A method of workflow scheduling based on colored Petri nets

Effective methods of workflow scheduling can improve the performance of workflow systems. Based on the study of existing scheduling methods, a method of workflow scheduling, called phased method, is proposed. This method is based on colored Petri nets. Activities of workflows are divided into several groups to be scheduled in different phases using this method. Details of the method are discussed. Experimental results show that the proposed method can deal with the uncertainties and the dynamic circumstances very well and a satisfactory balance can be achieved between static global optimization and dynamic local optimization.     

基于网格工作流的决策资源协同调度模型

基于网格的开放式决策支持系统越来越受到学术界的重视。在研究网格环境中的决策资源和网格工作流的基础上,提出了一种基于网格工作流的决策资源协同调度模型,并给出了该模型的协同调度机制与调度过程。     

MP4大片轻松做

如今电脑已经是RMVB、AVI、WMV的天下但在手机和便携式媒体播放器上，MP4才是当之无愧的“老大”， 由此产生一个问题．就是我们如何才能把流行于电脑的RMVB、AVI、WMV电影以及DVD影碟方便快速的转换成MP4。     

启发式规则与GA结合的优化方法求解工作流动态调度优化问题

调度是工作流管理系统的核心问题，是保证工作流正确运行的关键。在工作流环境下，动态调度要比静态调度更切合实际。本文在总结前人工作的基础上，提出了一系列工作流动态调度的启发式规则，并以最小化任务总拖期时间和最大化任务总提前时间为目标，建立了工作流动态调度问题模型。采用启发式规则与遗传算法相结合的优化方法求解工作流动态调度优化问题。仿真结果说明了优化方法的可行性和有效性，同时比较了该方法与多种静态调度方法，进而说明了该方法的优越性。     

基于Petri网的信息系统集成项目管理模型研究

针对当前项目管理规划软件存在的缺陷,介绍了一个基于Petri网的信息系统集成项目管理模型(DSPM)的设计和实现机理。该模型利用知识库和工作流技术,很好地将项目过程管理与工作流系统集成起来,并且提出了一种有效的任务依赖关系管理模式,很好地解决了项目规划、调度、变更等关键问题。     

一种多重约束下确保成功率的云工作流调度方法

为提高多重约束下的调度成功率,提出一种满足期限和预算双重约束的云工作流调度算法。将可行工作流调度方案求解分解为工作流结构分层、预算分配、期限分配、任务选择和实例选择。工作流结构分层将所有工作流任务划分层次形成包任务,以提高并行执行程度;预算分配对整体预算在层次间进行分割;期限分配将全局期限在不同层次间分割;任务选择基于任务最早开始时间确定优先级,得到任务调度次序;实例选择根据时间和代价均衡因子,获取任务执行最佳实例。仿真结果证明,该算法在调度成功率、同步优化工作流执行时间与执行代价上相较对比算法更好。     

QoS约束下基于双向分层的网格工作流调度算法

为使网格工作流的执行满足用户QoS要求,应用有向无环图描述工作流,并分析其中的关键活动,把用户对工作流的整体QoS约束分割为对单个任务的QoS约束.以此为基础,提出了一种基于双向分层的网格工作流调度算法Q-TWS.该算法通过对工作流正向分层和逆向分层,可以方便并准确找到任务之间的并行关系.Q-TWS可最大程度放松对任务执行时间的约束,在增加调度灵活性的同时又满足用户的QoS要求.实验表明,Q-TWS算法与TL算法相比,在同样的截止时间约束下,工作流执行时间较短,且工作流执行费用较小.