多级安全数据库系统中多级事务原子性的研究

文章在证明了不可能同时保证多级事务的原子性和安全性的基础上,介绍了多级事务三种不同程度的原子性,给出了两种基本算法,并通过引入多版本机制消除事务节间的语义依赖。     

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

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

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

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

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

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

工作流事务模型解析

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

事务工作流模型中恢复策略的研究

阐述工作流中事务的起源和发展,针对目前工作流模型对事务处理方面的不足,提出一种具有事务支持的工作流过程元模型.该模型不仅支持过程的层次结构,并且引入隔离域及错误恢复属性概念,从语义的角度进行了扩展.同时,分析了事务工作流中并发控制机制和各种调度算法,重点研究并提出了事务工作流的错误恢复策略和错误恢复算法.最后,对算法进行了实例分析,验证了该算法是可行和实用的.     

工作流中的长事务模型

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

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

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

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

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

事务性工作流中的长事务处理方法研究

在具有多个应用协作以及长周期事务的复杂信息环境中,针对短事务设计的事务性工作流表现出一定的局限性。在分析了现有长事务处理方法的不足后,基于事务对象层次网络的定义,该文提出了一种长事务处理的最小原子汇集法,介绍了最小原子事务汇集策略及最小原子范围的确定过程,以一个注塑模具产品开发过程的案例验证了该方法的有效性。     

工作流事务性研究综述

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

基于事务和Agent联邦的工作流异常处理机制

异常处理和恢复是工作流管理系统(workflow management system,WFMS)不可缺少的部分.在把工作流异常分为技能级异常、活动级异常和工作流级异常的基础上,结合工作流中活动的事务性,提出了基于事务的异常处理策略,并在基于Agent联邦中各Agent的合作性,提出了异常的检测方法和传递机制,提高了系统处理异常的灵活性.     

An application-semantics-based relaxed transaction model for internetware

An internetware application is composed by existing individual services, while transaction processing is a key mechanism to make the composition reliable. The existing research of transactional composite service (TCS) depends on the analysis to composition structure and exception handling mechanism in order to guarantee the relaxed atomicity. However, this approach cannot handle some application-specific requirements and causes lots of unnecessary failure recoveries or even aborts. In this paper, we propose a relaxed transaction model, including system mode, relaxed atomicity criterion, static checking algorithm and dynamic enforcement algorithm. Users are able to define different relaxed atomicity constraint for different TCS according to application-specific require- ments, including acceptable configurations and the preference order. The checking algo- rithm determines whether the constraint can be guaranteed to be satisfied. The enforce- ment algorithm monitors the execution and performs transaction management work ac- cording to the constraint. Compared to the existing work, our approach can handle com- plex application requirements, avoid unnecessary failure recoveries and perform the transaction management work automatically.     

工作流日志中的工作流模式图挖掘技术研究

工作流挖掘技术能够从系统的执行日志中构建出过程,大部分过程挖掘方法都使用了一种图形化的方式来表示模型,也就是控制流图.讨论了工作流模式图挖掘,它实际上是工作流挖掘的一种扩展;对其中所涉及的问题进行了剖析,并介绍了一种模式图挖掘算法.     

一种基于Petri网的工作流元模型研究

Petri网是建立离散系统模型有力的数学工具。为了解决基本Petri网建模能力不足的问题,Aalst提出了有代表性的WF-Net模型。提出的HSC-PN工作流元模型,基于WF-Net扩展,增加了模型元素静态属性、数据流全局共享和增强的活动块等特性。详细阐述了HSC-PN元模型的DTD文件规范,分析了该模型对工作流模式的支持、触发机制及验证方式。通过可视化的建模工具,生成符合DTD文件规约的流程模板XML文件表示。HSC-PN元模型具有更丰富的元素描述信息,简化了流程模型,具有更强的建模能力。     

Self-stabilization of dynamic systems assuming only read/write atomicity

Summary Three self-stabilizing protocols for distributed systems in the shared memory model are presented. The first protocol is a mutual-exclusion prootocol for tree structured systems. The second protocol is a spanning tree protocol for systems with any connected communication graph. The thrid protocol is obtianed by use offair protoco combination, a simple technique which enables the combination of two self-stabilizing dynamic protocols. The result protocol is a self-stabilizing, mutualexclusion protocol for dynamic systems with a general (connected) communication graph. The presented protocols improve upon previous protocols in two ways: First, it is assumed that the only atomic operations are either read or write to the shared memory. Second, our protocols work for any connected network and even for dynamic network, in which the topology of the network may change during the excution. Shlomi Dolev received his B.Sc. in Civil Engineering and B.A. in Computer Science in 1984 and 1985, and his M.Sc. and Ph.D. in computer Sciene in 1989 and 1992 from the Technion Israel Institute of Technology. He is currently a post-dotoral fellow in the Department of Computer Science at Texas A & M Univeristy. His current research interests include the theoretical aspects of distributed computing and communcation networks. Amos Israeli received his B.Sc. in Mathematics and Physics from Hebrew University in 1976, and his M.Sc. and D.Sc. in Computer Science from the Weizmann Institute in 1980 and the Technion in 1985, respectively. Currently he is a sensior lecturer at the Electrical Engineering Department at the Technion. Prior tot his he was a postdoctoral fellow at the Aiken Computation Laboratory at harvard. His research interests are in Parellel and Distributed Computing and in Robotics. In particular he has worked on the design and analysis of Wait-Free and Self-Stabilizing distributed protocols. Shlomo Moran received his B.Sc. and D.Sc. degrees in matheamtics from Technion, Israel Institute of Technology, Haifa, in 1975 and 1979, respectively. From 1979 to 1981 he was assistant professors and a visiting research specialist at the University of Minnesota, Minneapolis. From 1981 to 1985 he was a senior lecturer at the Department of Computer Science. Technion, and from 1985 to 1986 he visted at IBM Thoas J. Watson Research Center, Yorktown Heights. From 1986 to 1993 he was an associated professor at the Department of Computer Science, Technin. in 1992–3 he visited at AT & T Bell Labs at Murray Hill and at Centrum voor Wiskunde en Informatica, Amsterdam. From 1993 he is a full professor at the Department of Computer Science, Technion. His researchinterests include distributed algorithm, computational complexity, combinatorics and grapth theory.Part of this research was supported in part by Technion V.P.R. Funds — Wellner Research Fund, and by the Foundation for Research in Electronics, Computers and Communictions, administrated by the Israel Academy of Sciences and Humanities.     

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

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

工作流过程元模型研究

介绍了工作流过程元模型的相关概念，着重分析了几种具有代表性的工作流过程元模型，提出了一种微型的、分层结构的、易于扩展的动态工作流过程元模型MINI，一种新的工作流模式即转移依赖分支模式被实现，最后介绍了MINI工作流管理系统。     

Standards and verification for fair-exchange and atomicity in e-commerce transactions

Electronic commerce can be defined as the conduct of commerce in goods and services, with the assistance of telecommunications and telecommunications-based tools. The economic growth potential of e-commerce is extraordinary—but so are the challenges that lie on the path toward success. One of the more pressing challenges is how to ensure the integrity and reliability of the transaction process: key aspects being fair-exchange and atomicity assurance.This paper delineates an extended fair-exchange standard, which includes atomicity assurance, intended for a wide audience including e-commerce designers, managers, users, and auditors. We demonstrate how such a standard prevents or mitigates important e-commerce concerns. To bridge theory with practice, we illustrate how the application of model checking can be used to verify the correctness of the implementation of e-commerce protocols to prevent the failure of such protocols when unforeseen circumstances occur.     

针对工作流模式执行约束的解决方案

在对新版工作流模式进行深入分析后发现其中有八种模式虽然可以被现有的扩展信牌驱动模型所支持,但却不完全满足模式在执行环境下的约束,即不能保证模式所对应的模型区域安全执行,为此提出了形式化的解决方案旨在使信牌驱动模型实现对模式执行约束的支持。首先需要对模式所对应的模型区域进行形式化定义并提供识别该模型区域的算法,提出了通过保证区域内信牌箱的安全进而保证对应模型区域安全执行的策略。