Title :
A metaarchitecture for distributed resource management
Author :
Venkatasubramanian, Nalini ; Talcott, Carolyn
Abstract :
A two-level model of distributed computation designed to provide a formal basis for specifying and reasoning about dynamic system modification and resource management activities in a distributed system is presented. Actors are taken as the underlying computation model. An important role of such a model is to represent interactions among resource management activities and between these system level activities and application level activities. This allows expressing and reasoning about properties such as noninterference and composability. The use of the model is illustrated to specify resource management activities such as garbage collection and dynamic insertion of dependability protocols
Keywords :
distributed processing; protocols; resource allocation; storage management; composability; dependability protocols; distributed computation; distributed resource management; dynamic insertion; formal basis; garbage collection; metaarchitecture; noninterference; reasoning; two-level model; Computational modeling; Computer architecture; Concurrent computing; Contracts; Data structures; Distributed computing; Power system modeling; Reflection; Resource management; Runtime;
Conference_Titel :
System Sciences, 1993, Proceeding of the Twenty-Sixth Hawaii International Conference on
Conference_Location :
Wailea, HI
Print_ISBN :
0-8186-3230-5
DOI :
10.1109/HICSS.1993.284117
