Modelling of computer architectures

Abstract

The goal of this article is to present a general theoretical framework for modelling the logical and physical structures underlying computer architectures. The reasoning is based on general system theory and the mathematical theory of constructive computation. Fundamental are discrete functional systems, their partitions, and algorithms on them. For modelling processes in general "time sets" are introduced and the mutual dependences of processes are discussed. In correspondence to the mathematical objects considered, a model of physical computational systems is given. From this a whole range of architectural concepts can be derived.<>