• DocumentCode
    909237
  • 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
  • Volume
    15
  • Issue
    1
  • fYear
    1989
  • fDate
    1/1/1989 12:00:00 AM
  • Firstpage
    47
  • Lastpage
    59
  • 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;
  • fLanguage
    English
  • Journal_Title
    Software Engineering, IEEE Transactions on
  • Publisher
    ieee
  • ISSN
    0098-5589
  • Type

    jour

  • DOI
    10.1109/32.21725
  • Filename
    21725
    • Link To Document
    https://search.isc.ac/dl/search/defaultta.aspx?DTC=49&DC=909237