基于对象和ECA规则的工作流模型

文中提出了一个基于对象的工作流活动定义，在此基础上引入了ECA规则，作为对象消息通信的基础，提出了一种新的基于对象和ECA规则的工作流模型。着重讨论了工作流失败处理和恢复的策略，在考虑工作流活动之间的控制依赖和数据依赖的同时，引入了资源依赖的概念，提出了强数据依赖、强控制依赖和强资源依赖的概念，并给出了关键的消息规则。     

基于WF net的工作流恢复网模型的研究*

针对工作流系统中存在的异常问题,提出了一个基于WF-net和ECA规则的工作流恢复网模型,给出了模型元素与ECA规则的映射关系。模型在设计时采用WF-net结构,运行时通过预定义的操作函数动态调整工作流结构。采用基于任务的恢复策略,利用ECA规则自动处理可预测异常;考虑任务间的数据依赖,采用人工恢复策略处理不可预测异常。     

工作流失败恢复的研究

工作流在某一点发生错误,导致工作流运行失败.通过调用失败路径上节点的补偿逻辑,以便将工作流恢复到先前的一个上下文环境.因为补偿节点是相当复杂和耗时的工作,减少工作流补偿节点的数量可大大提高工作流的补偿效率.基于工作流的数据和流程定义者所提供信息,文中提出了多种补偿范围,以便在不同条件下有效地减少补偿节点的数量.     

基于Petri网的稿件处理工作流模型

稿件处理流程是一个部分自动执行的业务过程。通过对稿件处理工作流实际应用环境的分析,提出了一个相对完整的基于Petri网的工作流模型,并给出了该模型的完整性验证。     

基于对象代理模型的工作流视图实现

工作流视图源自数据库的视图概念,主要为了支持Web服务环境中工作流的互操作性和对外界面的柔软性,以适应各种不同应用的需要．然而．目前还没有一种很好的工作流视图的实现机制．该文提出用对象代理模型来实现工作流视图,主要包括工作流相关类的代理类以及代数操作的定义．根据XML过程定义语言(XPDL)的过程元模型,可以用这些代数操作为工作流的每一个类导出各种所需的代理类,实现柔软的工作流视图．     

基于Saga的事务模型在工作流系统中的设计与实现

对工作流管理系统中的事务和事务处理进行研究,明确工作流管理系统中事务处理需要解决的问题的重点与难点。在此基础之上,对工作流管理系统中的长事务进行拆分,提出一个具有事务支持的工作流模型和一组事务恢复执行模式。     

基于工作流对象的网络办公软件设计

通过对政府、企业日常办公的深入研究,确立了工作流的概念,进而提出了基于工作流的网络办公软件设计方法。工作流法较好地实现了软件的原子性和自组织性。以工作流法设计的系统具有很强的生命力和良好的动态性。     

基于对象的角色工作流模型研究

工作流是流程集成的有效方法,但工作流模型在描述复杂的流程时语义和柔性不足,导致实用中工作流模型的仿真分析和运行能力欠佳;另一方面,对象技术作为一种很有潜力的流程建模方法,可以改善工作流的描述。它与工作流的结合,将有助于上述问题的解决。文章借助对象技术,分析了面向角色的工作流模型,并在此基础上讨论了其实现。     

网格工作流错误恢复方法研究

针对当前网格工作流中任务具有不同的执行特点,提出了基于错误恢复属性的错误恢复方法。与传统的方法相比,该方法将工作流的活动划分了不同的错误恢复属性,根据不同的属性来选择相应的恢复策略,并对错误恢复策略进行仿真实验,对结果进行了分析。     

基于向后恢复的细粒度工作流事务管理

分析了现有工作流事务理论和技术,针对执行效率较低的问题,在改进确认和补偿机制的基础上提出了基于向后恢复、支持嵌套事务的将补偿模型与原流程模型整合在一起的事务模型构建规则和算法,实现了细粒度工作流事务管理,避免了读脏数据和由此而引起的连环回滚,简化了锁定和冲突分析,从而在保证可靠性的前提下提高事务管理的效率。     

工作流异常处理技术与方法

首先介绍了工作流异常处理的体系结构,然后详细介绍了异常处理在流程建模中的描述方式和异常处理的四个基本方法：事务特性与程序设计结合法、知识库法、ECA规则法和工作流进化法。最后展望了工作流异常处理的未来发展方向。     

基于两层模式的Web服务工作流失效恢复算法

现有的Web事务工作流恢复算法通常未考虑用户的个性需求,也没有考虑恢复时的连锁恢复情况.为此,定义全局事务工作流模式和执行事务模式2种失效恢复粒度,并提出基于这2种粒度的失效恢复算法.通过细粒度的执行事务模式进行事务实例级的层次式递归恢复,采用粗粒度的全局事务工作流模式进行模型级的恢复,并用来满足客户的个性需求.该算法...     

工作流系统中的一种异常处理机制

文中通过对工作流系统可能出现的异常情况进行较详细的分析，提出了利用规则库进行异常处理的模型，并对异常处理规则的数据结构进行了较深入的探讨。     

面向意外处理的工作流系统建模与执行

产生于工作流系统的执行阶段、未在系统建模阶段进行描述和定义的突发事件，称为工作流意外事件，对应意外事件的处理过程，称为意外处理。该文针对意外事件，从系统建模与模型执行两个方面对工作流意外处理进行了探讨，在系统建模阶段，通过拓展Petri网中的基本概念，提出并构造了组成工作流的过程单元，在将工作流内在的逻辑关系分解为控制流与数据流的基础上，讨论了一个面向意外处理的工作流系统复合建模方法，对应工作流的模型执行，定义了两类意外处理，用矩阵形式分别表示或标识控制流、数据流和意外事件，经过矩阵分析与变换，对意外事件的影响区域进行范围界定。最后，探讨了这种意外处理方法在数据流意外处理中的实例应用。     

工作流异常处理的形式描述

异常处理是工作流执行中要解决的主要问题之一，清楚地描述异常处理的过程是最终得到实现的基础。Petri-net对工作流的描述适合于对过程定义进行正确性验证和评价，但描述各种不同条件下的处理策略却很繁琐，采用了一种直观的描述方法对异常处理过程中的元素，即活动、异常处理策略以及处理措施进行了形式化描述，特别是对不同处理策略下的处理过程进行了描述。结合消息机制，分析了一个异常事件出现时，如何处理一个活动实例产生的中间数据，并对事务处理和异常处理的补偿策略进行了比较。描述方法为编码实现提供了很大的方便。     

Exception Handling in Workflow Systems

In this paper, defeasible workflow is proposed as a framework to support exception handling for workflow management. By using the justified ECA rules to capture more contexts in workflow modeling, defeasible workflow uses context dependent reasoning to enhance the exception handling capability of workflow management systems. In particular, this limits possible alternative exception handler candidates in dealing with exceptional situations. Furthermore, a case-based reasoning (CBR) mechanism with integrated human involvement is used to improve the exception handling capabilities. This involves collecting cases to capture experiences in handling exceptions, retrieving similar prior exception handling cases, and reusing the exception handling experiences captured in those cases in new situations.     

基于状态空间的工作流模型验证

工作流模型的正确性和可靠性是工作流管理系统健壮性的基础。该文提出一种基于状态空间的工作流模型验证方法,从而确保在构造期间产生有效的工作流模型。