A PRACTICAL DEVELOPMENT PROCESS FOR PARALLEL LARGE-SCALE APPLICATIONSAND ITS UNDERLYING FORMAL FRAMEWORK

The development of parallel large-scale application codes is a challen ging problem because it requires a combination of application knowledg e, understanding of the various aspects of parallelism involved and so ftware engineering, Moreover, the size of large-scale applications usu ally is input-dependent and the parallel algorithm needs to be scalabl e to various numbers of processors, This paper combines the theoretica l as well as the practical aspects required for the understanding, rea lization and manageability of the development process of parallel larg e-scale applications, It provides a formal framework in which their (p artly machine-model specific) potential parallelism can be expressed a nd requirements on scheduling and implementation are given, The paper further describes a practical software-engineering development approac h built on this framework, and discusses and illustrates its usage in two large case studies.