Modularization, re-use and testing for parallel message-passing programs

The advantages of modularization which are well-known in sequential programming should also be exploited when designing and developing parallel programs. We investigate the requirements for such a concept in the context of an explicit, imperative message-passing programming language for the distributed memory paradigm. The language is a hybrid one in the sense that all parallel aspects are specified by means of graphical constructs whereas sequential parts are formulated in a slightly restricted ANSI-C.<
>