论文部分内容阅读
ＡＣＴＡ是一个全面的事务框架，它能够方便地用形式化的方法描述扩展事务模型（例如嵌套事务模型）。利用ＡＣＴＡ，人们可以定义和推理：（１）事务对对象的影响；（２）事务之间的相互关系。该文讨论了嵌套事务模型的定义、行为以及主要特点，并针对它的一个缺点作了改进。最后，该评论例示了如何用ＡＣＴＡ定义改进的嵌套模型。