Discrete Dynamical System Model of Distributed Computing with Embedded Partial Order

Abstract

The traditional models of distributed computing systems employ the mathematical formalisms of discrete event dynamical systems along with Petri Nets. However, such models are complex to analyze and computationally expensive. Interestingly, the evolving distributed computing systems closely resemble the discrete dynamical systems. This paper constructs and analyzes the model of distributed computing systems by applying mathematical formalisms of the discrete dynamical systems. The proposed model embeds the partial ordering of states under happened-before relation in the set of globally observable states. The stability of the proposed model is analyzed using the first order linear approximation.