The Community for Technology Leaders
RSS Icon
Subscribe
Issue No.01 - January (1989 vol.15)
pp: 47-59
ABSTRACT
<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>
INDEX TERMS
time abstraction techniques; multilevel concurrent systems; data abstraction; bounced-buffer monitor; multilevel concurrency scheme; database system; concurrency control; distributed databases.
CITATION
T. Minoura, S.S. Iyengar, "Data and Time Abstraction Techniques for Analyzing Multilevel Concurrent Systems", IEEE Transactions on Software Engineering, vol.15, no. 1, pp. 47-59, January 1989, doi:10.1109/32.21725
18 ms
(Ver 2.0)

Marketing Automation Platform Marketing Automation Tool