Title :
Data and time abstraction techniques for analyzing multilevel concurrent systems
Author :
Minoura, Toshimi ; Iyengar, S. Sitharama
Author_Institution :
Dept. of Comput. Sci., Oregon State Univ., Corvallis, OR, USA
fDate :
1/1/1989 12:00:00 AM
Abstract :
It is argued that the design and analysis of a concurrent system can be made simpler and more intuitive if execution times of abstract operations are arbitrarily but systematically defined. This technique (time abstraction) is complementary to data abstraction and is more effective when used in combination with data abstraction. As examples, a bounced-buffer monitor and a multilevel concurrency scheme for a database system are analyzed by using data and time abstraction
Keywords :
concurrency control; distributed databases; bounced-buffer monitor; data abstraction; database system; multilevel concurrency scheme; multilevel concurrent systems; time abstraction techniques; Algorithms; Computer science; Concrete; Concurrency control; Control systems; Database systems; Humans; Imaging phantoms; Monitoring; Software systems;
Journal_Title :
Software Engineering, IEEE Transactions on
