The formal derivation of parallel triangular system solvers using a coordination-based design method

摘要

We present an application of a method for the design of parallel programs that addresses the functional aspects and the operational aspects in separate phases. In the first phase, the functional aspects are specified using the Gamma model. This model encourages a specification with a minimum of control and thereby provides insight into the potential parallelism inherent in the problem. Secondly, the operational aspects are specified separately by means of a coordination language. A formal theory of refinement of coordination supports the derivation fo the operational aspects by a process of successive stepwise refinement.