ACTA: a framework for specifying and reasoning about transaction structure and behavior
Panayiotis K. Chrysanthis, Krithi Ramamritham · 1990
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.