Abstract
We propose a technique which essentially constructs a set of concurrent program archetype definitions, each representing a valid parallel implementation of a sequentially specified program. Our approach is based on partitioning a systolic computation graph and the subsequent mappings of the computations involved to processors in a multicomputer environment. We show that the partitioning and mapping process induces a specific processor topology dependent on the partitioning strategy used. The processing requirements based on the topology imply a specific program structure. The details of resulting program structures are illustrated. The formalism contained in this paper is useful for the construction of automated tools to support the generation of parallel program codes.