[Home] [CV] [Publications]


Minus 1a5aa4f1c08b567c9107cba729de26bc87c17ab2b2f690eb45059193a1d6f587 Reasoning about Meta Level Activities in Open Distributed Systems
Venkatasubramanian, N. and Talcott, C. L. - 1995

We present a two-level model of distributed computation based on actors. This model is the basis for developing a semantic framework that supports dynamic customizability and separation of concerns in designing and reasoning about components of open distributed systems (ODS). In particular, we would like to be able to consider separately issues such as: functional behavior of an application; failure semantics and fault tolerance protocols; and resource management issues such as memory management, load balancing, and scheduling. In this paper we consider remote creation, migration, and reachability snapshot services: their specification at different levels of abstraction, and their composition.