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
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;
Conference_Titel :
Computers and Communications, 1990. Conference Proceedings., Ninth Annual International Phoenix Conference on
Conference_Location :
Scottsdale, AZ
Print_ISBN :
0-8186-2030-7
DOI :
10.1109/PCCC.1990.101687
