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

关键词：工作流长事务 元事务 多层事务模型 fltm 

单位：国防科技大学计算机学院; 湖南长沙410073