MODELING DISTRIBUTED AND PARALLEL COMPUTER-SYSTEMS

The research reported in this paper is concerned with techniques and tools, to be used for modelling complex computer systems, which in general involve concurrency and utilise parallelism. First the motivation and objectives are presented. These have led to the establishment of a method, supported by tools, which places modelling in a central and dominant role in a product lifecycle. The modelling technique and the language on which it is based are discussed. This language incorporates a combination of graphical and textual notation. An example is given which models the critical parts of an actual parallel processing system.