Programming Live Distributed Objects with Distributed Data Flows (2009)
| Citations: | 4 - 4 self |
BibTeX
@TECHREPORT{Ostrowski09programminglive,
author = {Krzysztof Ostrowski and Ken Birman and Danny Dolev},
title = {Programming Live Distributed Objects with Distributed Data Flows },
institution = {},
year = {2009}
}
OpenURL
Abstract
This paper presents a new object-oriented approach to modeling the semantics of distributed multi-party protocols such as leader election, distributed locking, or reliable multicast, and a programming language that supports it. The approach builds on and extends our live distributed objects model [37] by introducing a new concept of a distributed flow, a stream of messages flowing concurrently at multiple locations. Our flows correspond to variables, private fields, and method parameters in Java-like languages; they are the means by which we store and communicate state. Active protocol instances, which correspond to Java objects, consume and output flows; their internal states are encapsulated as internal flows, and all of their internal logic is represented as operations on flows. Our language supports a new type of concern separation:







