Distributed data flow language for multi-party protocols

摘要: This paper presents a novel object-oriented approach to modeling the semantics of distributed multi-party protocols such as leader election, locks or reliable multicast, and programming language that supports it. The extends our live objects (LO) model with new concept flow (DF), stream events concurrently at multiple locations. DFs correspond local variables, private fields, method parameters in Java-like languages; they're means by which one stores communicates state. Protocol instances Java objects; they consume output flows; their internal states are encapsulated flows, logic is represented operations on flows. Our provides type concern separation: semantic structure decoupled from implementation details construction maintenance overlays, trees, other structures used for scalability. These can be generated compiler deployment time. done differently different parts network, match environment.