Modelling the Replication Management in Information Systems

Abstract

IntroductionThis paper presents the development stages of a model of a distributed system in which the primordial abstract elements are the process and the connection (link) between processes. This paper deals with the problem of communication between the processes within the distributed system, with the concept of message exchange between processes, and also presents the problem of distributed agreement. This paper presents the importance of two concepts: the logical time of a distributed system and the causal order of messages. All of these concepts are necessary to define a model of a distributed system in which some processes have the role of management of the operations carried out by other processes which only have an execution role. After presenting of the processes of the system components, there is an abstraction of the exchange of messages between the processes of the distributed system. In the next step, an abstract model of a distributed system is proposed and analyzed, in which there are modelled several worker-processes controlled by a manager-process, which runs on different