工作流中的长事务模型

A Long Transaction Model in Workflow

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

This paper first analyzes the characteristics of workflow transaction , and on the basis we propose FLTM, a multilevel transaction model. The model aims at the long transaction which occurs frequently in workflow. The model does not need all the transactions to comply with ACID, and it can describe the various requirements from loose to rigorous transaction properties. In the model the user can specify the end of compensation and the way to handle the failures of transaction according to specific applications. We define loose ACI, and formally describe the FLTM transaction execution and compensation.