基于Perti网的并行测试程序运行管理模型

并行自动测试系统中,为了对并行测试程序运行管理机制的运行状态进行分析,必须对该问题进行建模和仿真.在基于Petri网理论的基础上,提出了并行自动测试程序的运行管理模型.该模型基于Petri网描述测试流程的资源申请、资源分配、流程启动、运行监控、流程终止、资源释放的全过程.在该模型下对一个系统实例进行了仿真分析,实验结果表明,该模型适于描述该类系统的运行管理状态.     

工作流中的事务问题的研究和设计

本文描述了基于补偿事务方法的一个工作流系统中解决事务问题的框架和运行环境,它可以使工作流内部相关的任务集合能可靠地执行和被监控.在这个框架下,工作流系统提供了基本的,可行的事务能力,能保证工作流中数据的一致性.该系统是一个开放的,通用的系统:它的设计是基于CORBA体系结构的分布式系统,系统利用了中间件技术来为长期运行的分布式应用提供了健壮的执行环境.     

工作流中的事务问题的研究和设计

本文描述了基于补偿事务方法的一个工作流系统中解决事务问题的框架和运行环境,它可以使工作流内部相关的任务集合能可靠地执行和被监控。在这个框架下,工作流系统提供了基本的,可行的事务能力,能保证工作流中数据的一致性。该系统是一个开放的,通用的系统:它的设计是基于CORBA体系结构的分布式系统,系统利用了中间件技术来为长期运行的分布式应用提供了健壮的执行环境。     

工作流事务模型解析

我们分析比较了工作流管理系统中的事务概念与传统事务、高级事务的不同,从而明确了工作流管理系统中事务处理需要解决的问题的重点与难点。有利于我们更好的利用工作流的事务管理功能,保证这些被集成的应用中的每一次计算的正确性,进而保证全系统的正确性。     

面向资源的工作流事务模型

1 概述计算机辅助的工作流(workflow)可定义为发生于分布、异质系统环境下的一系列程序的调用和数据的交换。近年来出现的大批工作流管理系统(WFMS),包括我们开发的基于多Agent虚拟组织框架的工作流管理系统SaFlow,为工作流程的协商、调度、组织、控制、用户接口、监测、分布式、异质等方面提供了强大的支持;从软件工程的角度,作为工作流程     

工作流中的长事务模型

本文首先分析了工作流长事务的特性,并针对工作流中频繁出现的长事务问题基础上提出了一种多层事务模型FLTM。该事务模型并不要求所有事务都遵循严格的ACID特性,它可以刻画从松弛到严格的各种事务要求,用户可以根据具体的应用定制事务补偿的终点和事务失败时的处理方式。本文给出了松弛的原子性、一致性和隔离性的定义,并形式地描述了FLTM事务的补偿和执行过程。     

乐观嵌套工作流事务模型的形式化描述

本文对乐观嵌套工作流事务的基本概念及其规则进行形式化描述,并对乐观嵌套工作流事务的层次化、可串行性进行了讨论。最后得出结论：1）利用乐观嵌套模型来调度事务是可以串行调度的,它能够保证数据的一致性。2）在乐观嵌套工作流事务执行过程中采用多版本的数据管理机制来处理并发事务访问同一数据及其中间状态,是无联级回退的。     

一种基于约束的事务工作流并发控制方法

在辽河流域水环境管理中,许多业务流程操作都满足事务的特性.传统工作流系统中并发控制的实现主要是依据对共享数据项的存取控制,当用来处理事务工作流时会影响系统的效率,因为有的业务流程可能持续的时间比较长,这样它对共享数据项的占有时间就会很长而导致其他流程不能继续流转.为解决这一问题,借助类似于处理器中指令流水的思想研究了一...     

基于Sagas模型的改进事务工作流模型

Sagas模型要求所有子事务都要有对应的补偿子事务,任何子事务失败必须强制其它所有子事务失败,不能很好支持多事务多实例的并发执行。这三个缺陷使得Sagas模型至今不能运用到商业工作流系统中。针对Sagas模型的缺陷,提出一种改进的Sagas事务工作流模型,对子事务属性进行了分类并通过构造子事务间的关联关系使得可补偿子事务失败时无需强制所有子事务失败;引入补偿服务完善了工作流模型的语义;给出了基于事务实例锁集和后继子事务类型集的多事务多实例并发运行算法。该模型解决了Sagas模型存在的问题。     

基于事务规则的面向服务工作流模型研究

面向服务工作流SOWF(Service-Oriented Workflow)可以实现灵活的工作流转和监控,但是由于需求的变化往往会导致工作流过程模型的重新编写,如何快速响应需求的变化避免过程模型的重写成为SOWF的重要问题。提出一个基于事务规则的SOWF模型,给出了基于XML的事务规则定义方法,在事务规则驱动下对服务进行组合而动态构建工作流,并对模型的总体结构、事务规则引擎进行详细描述。该SOWF模型已在高级专业技术资格申报与评审系统中得到了应用,验证了该模型的可行性和有效性。     

并行自动测试系统的任务调度

并行测试技术的广泛应用,将是下一代自动测试系统(AutomaticTestSystem,ATS)的主要特征。通过对现有并行技术的分析,介绍了目前实现并行测试的主要方法,并根据任务量的多少提出了,相应的任务调度算法,通过实验证明算法是可行的。     

基于贪心策略的网格工作流费用优化算法*

针对有向无环图描述的截止期约束下的网格工作流费用优化问题,提出了基于贪心策略的网格工作流费用优化算法GSA-GW(greedy scheduling algorithm for grid workflow)和IGSA-GW(improved GSA-GW)。算法首先在当前分配下将截止期转换为各任务的全局时间浮差,各任务再在全局时间浮差的限制下按照两种贪心策略选择备选资源替换原有分配。实验结果证明,两算法能较好地优化工作流费用,提高工作流调度效率。     

An overview of workflow management: From process modeling to workflow automation infrastructure

Today's business enterprises must deal with global competition, reduce the cost of doing business, and rapidly develop new services and products. To address these requirements enterprises must constantly reconsider and optimize the way they do business and change their information systems and applications to support evolving business processes. Workflow technology facilitates these by providing methodologies and software to support (i) business process modeling to capture business processes as workflow specifications, (ii) business process reengineering to optimize specified processes, and (iii) workflow automation to generate workflow implementations from workflow specifications. This paper provides a high-level overview of the current workflow management methodologies and software products. In addition, we discuss the infrastructure technologies that can address the limitations of current commercial workflow technology and extend the scope and mission of workflow management systems to support increased workflow automation in complex real-world environments involving heterogeneous, autonomous, and distributed information systems. In particular, we discuss how distributed object management and customized transaction management can support further advances in the commercial state of the art in this area. Recomended by: Omran Bukhres and e. Kühn     

一种针对结构化并行控制机制的任务调度算法

缩短程序的执行时间是并行处理的首要目标,有效的任务分配算法是实现这一目标的关键,对机群系统来说更是如此.研究机群系统上针对结构化并行控制机制的任务调度问题,并基于贪心算法、粒度控制、反馈式分派的原则,提出近优的任务调度算法SSA(sub-optimal scheduling algorithm).实验结果表明,在机群环境下,该算法的并行计算性能与其他算法相比均有所提高.     

并行任务图的优化调度算法

科学与工程计算中的很多复杂应用问题需要使用科学工作流技术,超算领域中的科学工作流常以并行任务图建模,并行任务图的有效调度对应用的高效执行有重要意义。给出了资源限制条件下并行任务图的调度模型;针对Fork-Join类并行任务图给出了若干最优化调度结论;针对一般并行任务图提出了一种新的调度算法,该算法考虑了数据通信开销对资源分配和调度性能的影响,并对已有的CPA算法在特定情况下进行了改进。通过实验与常用的CPR和CPA算法做比较,验证了提出的新算法能够获得很好的调度效果。本文提出的调度算法和得到的最优调度结论对工作流应用系统的高性能调度功能开发具有借鉴意义。     

基于工作流的卫星调度系统

根据当前卫星网络发展趋势和对卫星网络资源进行充分有效利用的应用需求,对卫星网络的特点进行了研究,分析了当前卫星调度系统研究的局限,并介绍了工作流模型以及根据卫星应用进行的相关改进.在此基础上,提出了一种针对由多个子任务构成的复杂任务,基于工作流模型的分层卫星调度系统.该卫星调度系统可以协同多种卫星资源,并自适应地调度卫星任务.对该卫星调度系统的体系结构、系统关键模块、调度流程以及几种优化机制进行了详细阐述.最后通过实验结果表明了该调度系统的可行性和有效性.     

基于并行强化学习的云机器人任务调度策略

为了解决机器人完成大规模状态空间强化学习任务时收敛慢的问题，提出一种基于优先级的并行强化学习任务调度策略。首先，证明Q学习在异步并行计算模式下的收敛性；然后，将复杂问题根据状态空间进行分割，调度中心根据所提策略将子问题和计算节点匹配，各计算节点完成子问题的强化学习任务并向调度中心反馈结果，实现在计算机集群中的并行强化学习；最后，以CloudSim为软件基础搭建实验环境，求解最优步长、折扣率和子问题规模等参数，并通过对实际问题求解证明在不同计算节点数的情况下所提策略的性能。在使用64个计算节点的情况下所提策略相比轮询调度和随机调度的效率分别提升了61%和86%。实验结果表明，该策略在并行计算情况下有效提高了收敛速度，并进一步验证了该策略得到百万级状态空间控制问题的最优策略需要约1.6×10⁵ s。     

工作流事务性研究综述

阐述了工作流中事务性的起源和发展,讨论了事务工作流在建模阶段将业务模型与事务性相结合所采用的主要方法,总结了事务工作流中并发控制机制和采用的各种调度算法,研究了事务工作流的错误恢复机制,概括了广泛应用的补偿机制的研究现状,论述了面向Web服务工作流事务性的特点及相关研究,并展望工作流事务性未来的研究方向.     

基于复合策略的平行非同类机调度问题研究

对n类不同的独立任务在m个不同机器上加工的多任务平行非同类机的加工调度问题进行了探讨，提出了一种基于指派与调度的复合策略的算法，最后用实例进行了排序。通过与文献中的实例比较，证明该方法具有一定的优越性。