Layering distributed algorithms

Forskningsoutput: Bok/tidskrift/rapportBeställd rapportProfessionell

2 Nedladdningar (Pure)

Sammanfattning

Superposition is a powerful program modularization and structuring method for developing parallel and distributed systems by adding new functionality to an algorithm while preserving the original computation. The superposition method will, thus, structure the distributed algorithm in a number of mechanisms on top of the original computation. In this paper the derivation using the superposition method is presented in a B-like notation explicitely expressing each new mechanism with a layer in order to improve the presentation of the superposition method. We also show that superposition refinement with layers can be used as the single formalism for developing distributed systems by using it for formalizing the derivation of a distributed load balancing algorithm of Hofstee et al. [11,12].
OriginalspråkEngelska
FörlagTurku Center for Computer Science (TUCS)
ISBN (tryckt)952-12-0043-X
StatusPublicerad - 1997
MoE-publikationstypD4 Publicerad utvecklings- eller forskningsrapport eller studie

Publikationsserier

NamnTUCS Technical Reports
Volym121

Fingeravtryck

Fördjupa i forskningsämnen för ”Layering distributed algorithms”. Tillsammans bildar de ett unikt fingeravtryck.

Citera det här