Layers as Knowledge Transitions in the Design of Distributed Systems
In TACAS, pages
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.
Univ. of Twente, The Netherlands.
Available as PostScript,
BRICS WWW home page