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

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

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

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

一种基于语义控制的长事务工作流模型

在工作流系统中,长事务普遍存在,现有借鉴数据库事务处理方法的事务模型在对工作流长事务进行处理时存在着一定的局限性。为了解决工作流中长事务的共享资源访问控制和冲突解决效率等问题,在新模型中引入了语义控制协议,强调人的参与在事务处理中的重要性,并结合一致性状态和日志,能够有效的提高解决冲突的灵活性和效率、缩小事务规模和降低事务回滚的代价。     

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

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

工作流事务模型解析

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

工作流中的长事务模型

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

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

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

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

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

面向长事务的事务性工作流系统的研究与实现

事务性工作流一直是工作流的研究热点之一，通过对saga模型和事务的状态进行分析，扩展到对工作流的状态分析，从而通过事务性工作流的状态的控制，实现事务的管理。文中提出了基于saga事务模型的一种事务性工作流引擎模型用于解决商业流程中的长事务问题。     

一种基于AOSD的工作流管理系统的实现

采用面向方面软件开发方法建立事务工作流管理系统的软件体系结构。通过提取工作流应用的业务流程业务活动、参业者和事务这四个关注点,利用面向方面的软件开发方法实现并独立封装事务工作流的需求关注,并对这些关注的实现进编织生成事务工作流应用程序,解决不同工作流程之间、不同事务之间信息交换和协同工作,在确保系统执行状态正确的基础上,降低了工作流应用关注间的耦合性,增强了事务管理柔性管理能力。     

基于关系数据库的工作流服务器设计与实现

工作流服务器负责解释执行工作流定义。基于关系数据库构建工作流服务器,利用关系结构描述工作流数据模型,利用存储过程实现工作流业务逻辑,使工作流服务器和数据库服务器融为一体,不需开发专门的工作流定义语言和相应的语言解析器。和传统的工作流服务器相比,它是用位于服务器内部的存储过程处理工作流应用数据,而不是通过调用外部应用程序来处理,因此也简化了服务器接口实现。此工作流服务器由工作流引擎、消息管理子系统和目录服务子系统组成。     

基于关系数据库的工作流服务器设计与实现

工作流服务器负责解释执行工作流定义.基于关系数据库构建工作流服务器,利用关系结构描述工作流数据模型,利用存储过程实现工作流业务逻辑,使工作流服务器和数据库服务器融为一体,不需开发专门的工作流定义语言和相应的语言解析器.和传统的工作流服务器相比,它是用位于服务器内部的存储过程处理工作流应用数据,而不是通过调用外部应用程序来处理,因此也简化了服务器接口实现.此工作流服务器由工作流引擎、消息管理子系统和目录服务子系统组成.     

一种乐观嵌套工作流事务模型

为解决目前工作流事务管理的不足和存在的问题,本文基于多数据版本、三阶段执行的并发控制理论提出了一种乐观嵌套工作流事务模型,该事务模型借用时间戳的概念,通过对不同事务中活动类型的分类,较好地解决了长执行事务和协同事务的可靠性和正确性问题,提高了工作流处理的效率。乐观嵌套事务模型把嵌套事务、工作流模型和并发控制协议有机地结合在一起,定义了较为完整的事务操作原语及其语义。本文还给出了乐观事务模型到工作流模型的映射,使得事务工作流执行过程中,其操作原语和乐观事务模型的操作原语是一致的,工作流活动的转移控制与乐观嵌套事务模型的子嵌套事务的生成过程及其表示方式也是一致的。     

事务工作流模型定义及完全性分析

事务工作流模型可被视为扩展的事务模型和通用工作流模型的交汇点,提出将工作流的模型定义同其事务属性的定义独立开来,尽管在此方法中区分了多重的事务属性。提出了直观的注解符来定义原子性,提供了一个通用规则——放宽的完全性准则,以适应现实运行中事务管理的需要,以一个网上电子书店工作流应用为例来阐明这种思路。     

事务工作流的建模和分析

事务工作流由若干个事务组成，其执行满足松弛原子性．只有良构的事务工作流才能保证所有执行均满足松弛原子性．事务具有不同的可补偿特性和可重复特性，在包含多种控制结构的复杂事务工作流中，事务之间组合失配问题可能造成事务工作流的非良构性．该文给出了事务工作流模型及良构性的形式化定义，提出了一个良构性判断定理，通过一种构造性的方法来有效地验证事务工作流的良构性，还设计了事务工作流的描述语言ISWDL并实现了良构性验证器．     

电力企业工作流管理系统的设计与实现

介绍了适合电力企业的工怍流管理系统的设计方案和实现方法,并指出了系统的特点。系统采用一种面向用户的工作流建模方法,弥补了Petri网方法的图形复杂和节点多的不足。系统支持工作流实例的动态变化,符合电力企业业务工作流的需要。     

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

Internet／Intranet应用的普及和Web技术的发展,为Web工作流管理系统的实现提供了一个理想的平台,而基于Web的工作流管理服务为异地办公及跨企业的合作提供了良好的基础,采用Web技术已成为新一代工作流管理系统的主要特征：文中研究开发的工作流管理系统原型将Web技术与XML相结合,给出了基于XML的过程定义语言与工作流执行机的设计与实现方法。     

工作流管理系统Web客户端的设计与实现

工作流技术通过使用计算机来支持企业经营过程的运行,并实现了对企业经营过程的管理与控制。随着Internet应用的普及和Web技术的发展,基于Web的工作流管理服务为异地办公及跨企业的合作提供了良好的基础,采用Web技术已成为新一代工作流管理系统的主要特征。文章研究开发的工作流管理系统原型CIMFlow将Web技术与CORBA相结合,给出了基于Web的过程访问和控制功能的设计与实现方法。     

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

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

柔性工作流管理系统建模与实现

本文分析了工作流管理系统柔性方面的具体要求,提出了一个柔性工作流系统的体系结构和工作流柔性建模方法。该方法在模型定义中加入过程元素,通过将活动分为静态过程和动态过程较好的满足了工作流系统的柔性要求。