一种基于同步网的工作流管理系统

作为一类典型的CSCW系统,工作流管理系统主要提供异步、结构化的协同支持。本文从模型入手,介绍了一种基于Petri网的工作流模型——同步网。它采用分层视图描述了过程逻辑、语义及管理,过程模型和管理模型的互动关系用来指导工作流引擎的构造。本文基于同步网开发了工作流管理系统,支持工作流的定义、执行和管理。为了满足CSCW的需要,工作流管理系统中增加了同步协作机制。     

分布式工作流的动态管理

近些年来 ,分布式工作流管理系统设计已经成为计算机学者的研究热点。传统的工作流管理系统大多建立在客户机 /服务器模式上 ,采用集中式的方式。虽然易于实现、维护和管理 ,却存在着系统可扩展性、集成性差 ,产品可靠性、可用性不高 ,安全性能低的显著缺陷。采用分布式策略将工作流系统功能离散化或模块化 ,通过各个模块间的相互协调工作 ,实现预定功能 ,其优点在于能适应大吞吐量的要求、可扩展性高、可靠性强。然而 ,在现代企业管理中 ,由于流程模式改进、客户需求改变等原因迫使流程经常发生变迁。其必须在工作流结构中及时得到反映 ,这就使得动态管理技术在分布式工作流显得必不可少。将从建模、体系结构、运行环境、动态重组几个方面对分布式工作流的动态管理技术进行介绍和探讨。     

支持动态联盟的分布式工作流管理系统--AgentFlow

提出了一个支持动态联盟的工作流描述模型，在此基础上提出了一个基于Agent的分布式的软件体系结构，重点分析了基于多Agent的工作流管理系统中工作流的动态集成和工作流的执行。最后讨论了工作流的分布式协作监控。     

基于TC-Net的工作流模型研究

时间要素作为工作流管理的重要部分,是影响企业业务流程部署实施的关键因素。基于工作流中任务具有时间限制的特点,分析任务的时间要素,抽象出任务的形式化描述,定量计算两个连续任务执行的最大时间约束,提出可控时间约束Petri网模型（Time Constraint-Net,TC-Net）。该模型在任务节点中添加时间信息,从任务开始执行时间到任务的执行结束时间及最大约束时间,提高任务时间信息描述精度;利用TC-Net模型表示工作流过程中各项任务,基于任务间顺序、同步和并行关系的传递模型,细化实际业务流程中分析粒度。应用TC-Net模型进行实例分析,实验结果表明该工作流建模方法对时间违反而导致违规操作具有高敏感性,解决了单个任务违规和流程周期不合理两类问题,实现业务过程的管理和监控。     

基于AOV网的抽象工作流模型

针对项目管理中的工作流控制需求,提出一个基于顶点活动(AOV)网的抽象工作流模型。给出该模型的形式化定义以及各结点的时序关系,阐述工作流的设计与执行规则,包括分支设计规则和回路设计规则,定义工作流图分支结构中汇聚结点的时序同步规则,并给出一个优化的回路检测方法。实例应用结果证明了该模型的有效性。     

分布式工作流执行服务的设计与实现

工作流执行服务的实现方案是实施工作流技术最为关键的一个方面,工作流管理系统的应用特点决定了它必须与各种分布的、异构的应用进行通信或与其集成。为了给用户提供透明的工作流执行服务而隐藏工作流执行服务实现的复杂性,文章提出了一种具有三层层次结构的工作流执行服务实现方案,其中的分布式通信服务层由通信中间件实现,使开发者无需关心程序间通信的复杂性,从而将精力放在解决业务问题和优化业务逻辑方面,提高了应用开发的效率。     

基于分组-分类的工作流活动多实例调度

引入活动多实例使得工作流的处理更加灵活,但引发了同步调度和数据共享冲突等问题。该文给出工作流活动多实例的灵活定义和分类,提出基于“分组-分类”的工作流活动多实例调度机制,将活动多实例分组启动、在同组中分类同步,以解决工作流执行中活动多实例的同步调度问题。该机制无须扩展标准工作流模型,具备一定的工作流语言表达能力。     

一种事件驱动的工作流管理系统的设计与实现

提出了一种事件驱动的工作流管理系统设计。该设计基于ICE通信中间件实现,工作流控制引擎解析建模工具定义好的工作流过程模型,将模型信息保存在关系数据库中,然后将过程模型中定义的活动分配到分布式的执行引擎中执行。执行引擎通过检测事件来判断分派到其上的活动是否应该启动。文中所设计实现的工作流管理系统,不仅可以与其它工作流管理系统共享过程定义,而且很好地解决了传统软件开发中存在的编程语言单一、部署集中的问题,明显提高了系统的可扩展性、柔韧性和处理复杂业务流程的能力。     

一个基于Web的工作流管理系统

Internet/Intranet/WWW技术的日渐成熟以及资源、应用的日益丰富,为工作流管理系统的构造提供了一个理想的计算环境.在这种易于访问、无处不在的计算环境中,人们可以通过工作流管理系统将各种分布式的信息资源有效地集成、协调起来,以促使企业业务目标的高效实现.文章描述了一个基于Web而构造的通用工作流管理系统Wowww!(workflow on the world wide web),详细讨论了其体系结构的设计、工作流模型及过程实例的执行算法,并讨论了Wowww!为提高其可用性和灵活性而实现的工作     

一种支持动态群组的工作流建模方法

传统的工作流产品从建模到运行对业务流程中复杂的群组特性难以提供有效的支持.在通用工作流模型的基础上,对流程模型的表达能力和工作流运行机制进行了扩展,设计并实现了一个支持动态群组活动和群组协同的工作流管理系统.同传统工作流模型相比,在描述群组活动的能力上有所增强,使建模更简单.本文介绍了支持群组活动的建模方法和关键的运行机制,然后通过示例与传统的建模方法进行了比较.     

工作流网过程实例调度方法研究

为了解决工作流网过程实例在分布式工作流管理系统中的调度问题,采用过程定义分割服务对进入工作流管理系统的过程定义进行实例化,同时将整体实例的逻辑结构进行模块分割,并将各个模块绑定到分布的工作流机上,由过程实例调度服务负责模块之间的调度,协调模块之间的调度关系.通过示例表明,这种调度方法实用有效,简化了过程实例在分布工作流...     

基于时间Petri网的工作流模型分析

工作流管理的最终目的是实现适当的人在适当的时间执行适当的活动.企业要获得竞争力,需要在工作流模型中考虑与业务过程相关的时间约束.一个考虑时间因素的工作流模型,需要在投入运行前进行时间规范与验证,以保证工作流执行的时间协调.通过为工作流网元素扩展时间属性,得到集成业务过程时间约束的工作流模型??时间约束工作流网(TCWF-nets).基于对业务活动的可调度性分析,提出了时序一致性验证方法,确保工作流执行中活动之间时间交互的安全性.在所附加的时间约束下,该可调度分析方法不仅能够检测某一给定工作流调度的时间可行性,还能对特定的实例给出一个最优调度,使工作流执行延迟最小.研究结果表明,该方法支持业务过程的时间建模与分析,对于丰富现有工作流系统的时间管理功能以及增强现存工作流软件对动态业务环境的适应性具有重要意义.     

UML活动图描述工作流模型的执行语义

UML是软件工程中广泛应用的建模语言,但其主要问题是缺少严格的形式化语义,因而描述的模型容易产生歧义.根据UML活动图的语法和工作流系统的特点,为UML活动图定义了一种执行语义.基于时间转变系统模型,将工作流系统的执行描述为时间转变和数据转变两个交替进行的过程.时间转变描述时间的前进,数据转变修改工作流案例的状态,这种语义比层次状态图具有更强的描述并行的能力,比Petri网和进程代数更适合描述工作流模型.     

Adaptive Medical Workflow Management for a Context-Dependent Home Healthcare Assistance Service

The provision of health-care services and home assistance to the elderly and chronic patients is a challenging application scenario for Web Services composition, which support the integration of distributed, heterogeneous services in complex workflows. However, in order to support the management of the typical routine activities carried out when dealing with a patient, several contextual conditions, such as his health conditions and the presence of specialized personnel at his home, must be taken into account. Thus, context-awareness must be added to the developed services.In this paper, we present the architecture of a framework integrating workflow management and context-aware action execution to support the personalized management of medical guidelines in home health-care assistance services. The framework is based on the integration of Web Service and Autonomous Agents techniques, which enhance the execution of medical guidelines, handled as abstract workflows, with a context-sensitive execution of actions.     

服务质量感知的网格工作流调度

在网格工作流中引入服务质量,可以使网格中的资源更好地围绕用户的要求进行组织和分配,服务质量为工作流执行过程中选择成员服务提供了依据.工作流服务质量的估算和服务质量感知的工作流调度是实现服务质量感知的网格工作流的两个关键问题.基于一种网格工作流模型讨论了网格工作流的服务质量参数体系,提出了工作流服务质量的估算算法和网格工作流调度数学模型,并提出了基于遗传算法的调度方法.仿真实验表明,该调度算法具有较好的收敛性.     

基于Web的分布式工作流管理系统NDWFlow的设计与实现

基于Web和分布式工作流管理系统的设计已经成为热门。将Web,Java和CORBA这三种分布处理技术结合在一起,实现工作流管理系统的分布执行。同时提出了对大型企业复杂的经营过程的分布式建模方法。     

工作流管理系统中一种概率性分析和调整时间约束的方法

时间管理是工作流管理系统应提供的重要功能,其中一个关键问题是分析时间约束的可行性,并调整时间约束以避免可能出现的违反.然而,在高度不确定的工作流环境下,传统定性的时间约束分析结果过于严格.因此,提出概率时间约束工作流网来描述时间约束下的工作流流程.基于该网提出一种方法,以随机的形式分析活动满足时间约束的概率.该概率能帮助流程管理者灵活地分析时间约束的可行性,进一步为时间约束调整提供精确的指导.此外,用一个实际工作流管理系统中的例子验证工作的有效性.     

微工作流架构的应用研究

微工作流架构是近来工作流技术发展中研究人员提出的新的工作流模型,并且它是微内核架构。与传统工作流架构相比,微工作流架构分离了控制和逻辑层,具有可复用性、可移植性、可扩展性,开发人员在它的基础上定制需要的功能以满足变化的需求。文中对比了微工作流与传统工作流,并说明了微工作流架构核心的过程组件、同步组件、执行组件的实现。微工作流架构为软件开发人员提供了一个解决传统工作流弊端的新途径。     

Workflow performance improvement using model-based scheduling over multiple clusters and clouds

In recent years, a variety of computational sites and resources have emerged, and users often have access to multiple resources that are distributed. These sites are heterogeneous in nature and performance of different tasks in a workflow varies from one site to another. Additionally, users typically have a limited resource allocation at each site capped by administrative policies. In such cases, judicious scheduling strategy is required in order to map tasks in the workflow to resources so that the workload is balanced among sites and the overhead is minimized in data transfer. Most existing systems either run the entire workflow in a single site or use naïve approaches to distribute the tasks across sites or leave it to the user to optimize the allocation of tasks to distributed resources. This results in a significant loss in productivity. We propose a multi-site workflow scheduling technique that uses performance models to predict the execution time on resources and dynamic probes to identify the achievable network throughput between sites. We evaluate our approach using real world applications using the Swift parallel and distributed execution framework. We use two distinct computational environments-geographically distributed multiple clusters and multiple clouds. We show that our approach improves the resource utilization and reduces execution time when compared to the default schedule.     

基于多层状态机的安全工作流模型

本文介绍了安全工作流以及状态机的基本概念,通过对工作流中安全属性的研究,提出了一种基于多层状态机的安全工作流模型。该模型架构分为工作流层、控制层和数据层三个层次,我们分别从任务、事件和数据角度来分析安全工作流的执行。最后,我们介绍了多层状态机中的授权函数,并详细阐述了安全工作流模型中各个层次的授权过程。