A metaarchitecture for distributed resource management

Author

Venkatasubramanian, Nalini ; Talcott, Carolyn

fYear

1993

fDate

5-8 Jan 1993

Firstpage

124

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;

fLanguage

English

Publisher

ieee

Conference_Titel

System Sciences, 1993, Proceeding of the Twenty-Sixth Hawaii International Conference on

Conference_Location

Wailea, HI

Print_ISBN

0-8186-3230-5

Type

conf

DOI

10.1109/HICSS.1993.284117

Filename

284117