Layers as Knowledge Transitions in the Design of Distributed Systems

Wil Janssen

In TACAS, pages 304--318


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, DVI.

[BRICS symbol] BRICS WWW home page