Issue No. 01 - January (1989 vol. 15)
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/32.21725
<p>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.</p>
time abstraction techniques; multilevel concurrent systems; data abstraction; bounced-buffer monitor; multilevel concurrency scheme; database system; concurrency control; distributed databases.
S. Iyengar and T. Minoura, "Data and Time Abstraction Techniques for Analyzing Multilevel Concurrent Systems," in IEEE Transactions on Software Engineering, vol. 15, no. , pp. 47-59, 1989.