Modelling a transaction manager using parallel decision processes
January 1990
Research Paper
| Related Files |
|---|
View PDF Version
(eur-few-cs-90-07.pdf, 0.2MB) |
This is the second report concerning transaction management in the database environment. In the first report the role of the transaction manager in protecting the integrity of a database has been studied [van der Made-Potuijt 1989]. In this report a model will be given for the transaction manager as a parallel decision process. To that purpose a modelling method for parallel behaviour, Paradigm, will be introduced. This method uses parallel decision processes for modelling parallel phenomena. Not all the notions of Paradigm will be discussed, a more extensive explanation can be found in Groenewegen [1986-1990]. After this short introduction to Paradigm, the method will be applied to a simple transaction manager. In future research more complex transaction managers will be modelled.
- process
- transaction
- state
- transaction manager
- member
- decision
- manager
- decision process
- chairman
- transition
- decision processes
- trap process
- subproces
- database
- behaviour
- action
- partition
- system
- subprocesse
- control process
