Layers as Knowledge Transitions in the Design of Distributed Systems
Wil Janssen
In TACAS, pages
304--318
Abstract:
Knowledge based logics allow to give generic specifications of
classes of network protocols. This genericity is combined with methods to
derive sequentially structured or layered implementations of distributed
algorithms. Knowledge based logic is used to specify layers in such
algorithms as knowledge transitions. The resulting layered implementations
are transformed to distributed algorithms by means a transformation rule
based on the principle of communication closed layers. In this way a class of
solutions to a problem for different architectures can be derived along the
simultaneously. This design technique for distributed algorithms is applied
to a class of Two-Phase Commit protocols.
Comments
Univ. of Twente, The Netherlands.
Available as PostScript,
DVI.
![[BRICS symbol]](http://www.brics.aau.dk/BRICS/GIF/BRICS/msymbol8mm.GIF)
BRICS WWW home page