柔性协同事务模型

提出了一个ＣＳＣＷ领域中的高级事务处理模型－柔性协同事务模型ＦＣＴＭ。首先给出协同事务的定义。并描述协同事务的状态,然后从协同事务的状态角度刻画协同事务之间、协同事务与外部环境之间的复杂依赖关系,最后用协同事务的状态依赖描述可串行化正确性准则。ＦＣＴＭ的优点在于用户能够根据不同的ＣＳＣＷ应用领域的需求,灵活地定义协同事务的状态和状态依赖。     

柔性协同事务模型

提出了一个 CSCW领域中的高级事务处理模型—柔性协同事务模型 FCTM(flexible cooperativetransaction model) .首先给出了协同事务的定义 ,并描述了协同事务的状态 ,然后从协同事务的状态角度刻画协同事务之间、协同事务与外部环境之间的复杂依赖关系 ,最后用协同事务的状态依赖描述了可串行化正确性准则 .FCTM的优点在于用户能够根据不同的 CSCW应用领域的需求 ,灵活地定义协同事务的状态和状态依赖.     

工作流事务模型解析

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

分布式工作流系统的柔性管理

柔性问题是当前工作流系统中的研究热点之一。讨论了分布式工作流系统的柔性管理问题。在模型定义中用工作流接口-工作流定义的结构替代传统的工作流定义,将工作流定义具体划分为预定义操作包和扩展定义操作包,实现了动态的功能自适应;在执行过程中动态进行注册和注销执行机,引入协调机和路由规则库,实现了可变的路径自适应。     

工作流中的长事务模型

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

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

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

工作流柔性模型的定义方法

随着工作流管理系统应用规模的不断扩大和应用领域的不断拓展,工作流的动态性、灵活性、个性化成了用户的迫切需求。目前大多数工作流模型基本上是基于“静态”过程定义的,这就不能根据工作流实例的运行状况、运行时相关数据信息而动态地建立模型。提出了工作流柔性模型的定义方法,就是对工作流活动进行wrapper,增加它对运行环境的感知。     

移动多数据库事务模型及其可串行化事务管理

提出了一个移动多数据库全局事务模型及其可串行化事务管理技术。该技术通过从各自治站点中获取本地可串行化信息构造全局事务可串行化图GTSG来判定全局事务的可串行性。它支持全局事务的迁移、网络的断接(包括可能发生的灾难性断接)并保证全局事务的关键站点子事务的原子性和隔离性。     

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

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

一种支持分布式工作流模型的工作流管理系统

通过研究分析当前对跨企业工作流进行集成时所面临的问题,提出了一种支持分布式工作流模型的工作流管理系统,阐述了系统的设计原理和总体结构,并给出了一个跨企业工作流管理的实例。     

分布式事务处理性能评价模型

介绍了在分布式数据库中对事务处理性能评价的模型，这种模型是建立在简化的限制性假设基础之上的，并选择了两个重要的性能评价指标：存取结点的平均数和每个结点存取数据项的平均数。     

CAD系统事务的代理模型

在研究以往的几种事务模型的基础上，着眼于CAD系统的并发性和一致性，提出了一种基于CPN的事务代理模型，并详细研究了代理的功能实现；分析了该模型对CAD系统的影响；最后给出了模型的应用实例。CAD系统事务代理模型的提出，为构造高度并发性和一致性的CAD系统打下了基础。     

一个灵活的多级事务模型FMTM及其在EJB上的实现

文章提出一种灵活的多级事务模型FMTM,与其它强调数据库为中心的模型不同,FMTM更强调以用户为中心,从而具有很好的灵活性,可以刻画从松驰到严格的各种事务要求。FMTM在商业产品Worms中的实现显示了FMTM的实用性。     

移动数据库中的事务模型

分析了移动数据库的特点以及体系结构，简要介绍了目前几种主要的移动复制事务模型，并从如何改善数据库的性能，如提高可用性、保证一致性等角度出发，总结了各个事务模型的特点，最后给出了结论。     

分布式事务处理技术及其模型

传统的事务处理技术主要应用于数据库系统。然而随着计算机科学技术的发展,事务处理的概念已经被引入了更为广泛的分布式网络计算环境。目前,面向分布式环境的事务处理标准主要有：基于ＤＣＥ的Ｘ／Ｏｐｅｎ分布式事务处理参考模型（ＤＴＰ）和面向ＣＯＲＢＡ环境的对象事务服务模型（ＯＴＳ）。文章简要介绍了事务处理的基本概念与一般技术,并详细分析了当前流行的分布式事务处理标准。     

An Availability Model for Distributed Transaction Systems

A method is proposed for quantitatively evaluating the availability of a distributed transaction system (DTS). The DTS dynamics can be modeled as a Markov process. The problem of formulating the set of linear homogeneous equations is considered, obtaining the related coefficient matrix, that is, the transition rate matrices of the DTS elements. Such operations can be performed according to the rules of Kronecker algebra. The transition rate matrices are used to calculate the probabilities of the different possible states of the DTS. The availability with respect to a transaction T is computed through its representation by means of a structure graph and a structure vector related to the probabilistic state of the DTS element relevant to the transaction T itself.     

一种制造企业分布式事务处理系统的节点模型

该文根据在某国有大型家电企业集团实施企业信息化的经验,总结并提出了一种适合我国制造业信息化硬件平台水平的分布式事务处理的节点模型,并展示了该模型的实际应用,讨论了该模型的优点与不足之处。     

Flexible Transaction Dependencies in Database Systems

Numerous extended transaction models have been proposed in the literature to overcome the limitations of the traditional transaction model for advanced applications characterized by their long durations, cooperation between activities and access to multiple databases (like CAD/CAM and office automation). However, most of these extended models have been proposed with specific applications in mind and almost always fail to support applications with slightly different requirements.We propose the Multiform Transaction model to overcome this limitation. The multiform transaction model supports a variety of other extended transaction models. A multiform transaction consists of a set of component transactions together with a set of coordinators which specify the transaction completion dependencies among the component transactions. A set of transaction primitives allow the programmer to define custom completion dependencies. We show how a wide range of extended transactions can be implemented as multiform transactions, including sagas, transactional workflows, nested transactions, and contingent transactions. We allow the programmers to define their own primitives—having very well-defined interfaces—so that application specific transaction models like distributed multilevel secure transactions can also be supported.