Title :
High level specification of concurrency control in distributed database systems
Author :
Chiu, Lin ; Liu, Ming T.
Author_Institution :
AT&T Bell Labs., Columbus, OH, USA
Abstract :
The authors propose a high-level specification that is based on an object-oriented model of concurrency control algorithms. Concurrency control algorithms are specified in a high-level fashion without losing their formality. Using the object-oriented model, objects are individually specified. Therefore, the specification of a concurrency control algorithm consists of the specifications of objects and their interactions
Keywords :
distributed databases; parallel programming; specification languages; concurrency control; distributed database systems; formality; object-oriented model; specifications; Concurrency control; Contracts; Control systems; Database systems; Distributed control; Distributed databases; Object oriented modeling; Scattering; Transaction databases; Zirconium;
Conference_Titel :
Software Engineering, 1988., Proceedings of the 10th International Conference on
Print_ISBN :
0-89791-258-6
DOI :
10.1109/ICSE.1988.93711
