A metaarchitecture for distributed resource management
- 31 December 2002
- conference paper
- Published by Institute of Electrical and Electronics Engineers (IEEE)
- p. 124-133vol.2
- https://doi.org/10.1109/hicss.1993.284117
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 protocolsKeywords
This publication has 5 references indexed in Scilit:
- Scalable distributed garbage collection for systems of active objectsPublished by Springer Nature ,2005
- Rewriting as a unified model of concurrencyPublished by Springer Nature ,2005
- Towards a theory of actor computationPublished by Springer Nature ,1992
- Concurrent object-oriented programmingCommunications of the ACM, 1990
- Viewing control structures as patterns of passing messagesArtificial Intelligence, 1977