|
|
|
@inproceedings{DBLP:conf/sigmod/ChrysanthisR90,
author = {Panos K. Chrysanthis and
Krithi Ramamritham},
editor = {Hector Garcia-Molina and
H. V. Jagadish},
title = {ACTA: A Framework for Specifying and Reasoning about Transaction
Structure and Behavior},
booktitle = {Proceedings of the 1990 ACM SIGMOD International Conference on
Management of Data, Atlantic City, NJ, May 23-25, 1990},
publisher = {ACM Press},
year = {1990},
pages = {194-203},
ee = {http://doi.acm.org/10.1145/93597.98729, db/conf/sigmod/ChrysanthisR90.html},
crossref = {DBLP:conf/sigmod/90},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
Recently, a number of extensions to the traditional transaction model have been proposed to support new information-intensive applications such as CAD/CAM and software development. However, these extended models capture only a subset of interactions that can be found in such applications, and represent only some of the points within the spectrum of interactions possible in competitive and cooperative environments.
ACTA is a formalizable framework developed for characterzing the whole spectrum of interactions. The ACTA framework is not yet another transaction model, but is intended to unify the existing models. ACTA allows for specifying the structure and the behavior of transactions as well as for reasoning about the concurrency and recovery properties of the transactions. In ACTA, the semantics of interactions are expressed in terms of transactions' effects on the commit and abort of other transactions and on objects' state and concurrency status (i. e. , synchronization state). Its ability to capture the semantics of previously proposed transaction models is indicative of its generality. The reasoning capabilities of this framework have also been tested by using the framework to study the properties of a new model that is derived by combining two existing transaction models.
Copyright © 1990 by the ACM, Inc., used by permission. Permission to make digital or hard copies is granted provided that copies are not made or distributed for profit or direct commercial advantage, and that copies show this notice on the first page or initial screen of a display along with the full citation.
CDROM Version: Load the CDROM "Volume 1 Issue 2, SIGMOD '75-'92" and ...
,
SIGMOD Record 19(2), June 1990