Modelling another transaction manager using parallel decision processes and a translation into an object-oriented program

Parallel behaviour can be modelled successfully by Paradigm, a modelling method using parallel decision processes. Its name is an acronym for PARalellism, its Analysis, Design and Implementation by a General Method. For a comprehensive discussion the reader is referred to Groenewegen [1986-1990]. In this paper Paradigm will be used to present a model for a transaction manager for a database management system. The purpose of the presented model is to split the tasks of a transaction manager into components in order to support the developping of a program that performs the tasks of these components including their interaction This model will be translated into an object-oriented program. Such a program is added not to give an efficient program for transaction management, but to show how the model can easily be translated into modules that form together the program. The program can serve as a basis for the implementation of a transaction manager on a system using several processors, using shared memory, although this might not be the most efficient implementation.