• DocumentCode
    1938775
  • Title

    Management of distributed systems

  • Author

    Shim, Y.C. ; Ramamoorthy, C.V.

  • Author_Institution
    Dept. of Electr. Eng. & Comput. Sci., California Univ., Berkeley, CA, USA
  • fYear
    1990
  • fDate
    21-23 Mar 1990
  • Firstpage
    689
  • Lastpage
    696
  • Abstract
    The authors discuss some of the issues involved in the design of the DSM (distributed system manager). The overall structure of the managed system and the DSM is given. Data modeling of the managed system, the mechanisms for collecting information, and the representation scheme of the information in the history database are described. The specification language for assertions based on the classical temporal logic is presented
  • Keywords
    DP management; distributed processing; network operating systems; classical temporal logic; data modelling; distributed systems management; representation scheme; specification language; Computer science; Control systems; Distributed databases; Engineering management; History; Logic; Probes; Resource management; Sampling methods; Specification languages;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Computers and Communications, 1990. Conference Proceedings., Ninth Annual International Phoenix Conference on
  • Conference_Location
    Scottsdale, AZ
  • Print_ISBN
    0-8186-2030-7
  • Type

    conf

  • DOI
    10.1109/PCCC.1990.101687
  • Filename
    101687