ACTA: a framework for specifying and reasoning about transaction structure and behavior
- 1 May 1990
- conference paper
- Published by Association for Computing Machinery (ACM)
- Vol. 19 (2) , 194-203
- https://doi.org/10.1145/93597.98729
Abstract
Recently, a number of extensions to the traditionaltransaction model have been proposed to support newinformation-intensive applications such as CAD/CAMand software development. However, these extended modelscapture only a subset of interactions that can be foundin such applications, and represent only some of the pointswithin the spectrum of interactions possible in competitiveand cooperative environments.ACTA is a formalizable framework developed for characterizingthe whole spectrum ...Keywords
This publication has 6 references indexed in Scilit:
- Concurrency control and object-oriented databasesPublished by Association for Computing Machinery (ACM) ,1989
- Hybrid concurrency control for abstract data typesPublished by Association for Computing Machinery (ACM) ,1988
- Commutativity-based concurrency control for abstract data typesIEEE Transactions on Computers, 1988
- Abstraction in recovery managementPublished by Association for Computing Machinery (ACM) ,1986
- Synchronizing shared abstract typesACM Transactions on Computer Systems, 1984
- The notions of consistency and predicate locks in a database systemCommunications of the ACM, 1976