A decompositional approach to the design of parallel programs

Author

Liu, Ying ; Singh, Ambuj K. ; Bagrodia, Rajive L.

Author_Institution

Dept. of Comput. Sci., California Univ., Santa Barbara, CA, USA

Volume

20

Issue

12

fYear

1994

fDate

12/1/1994 12:00:00 AM

Firstpage

914

Lastpage

932

Abstract

A methodology for the derivation of parallel implementations from program specifications is developed. The goal of the methodology is to decompose a program specification into a collection of module specifications via property refinement, such that each module may be implemented independently by a subprogram. The correctness of the implementation is then deduced from the correctness of the property refinement procedure and the correctness of the individual subprograms. The refinement strategy is based on identifying frequently occurring control structures such as sequential composition and iteration. The methodology is developed in the context of the UNITY logic and the UC programming language, and illustrated through the solution of diffusion aggregation in fluid flow simulations

Keywords

complete computer programs; diffusion; digital simulation; flow simulation; formal specification; parallel programming; physics computing; program control structures; program verification; UC programming language; UNITY logic; decompositional approach; diffusion aggregation; fluid flow simulations; frequently occurring control structures; iteration; module specifications; parallel implementation correctness; parallel program design; program specifications; property refinement procedure; sequential composition; subprograms; Algorithm design and analysis; Computer languages; Computer science; Context modeling; Fluid flow; Fluid flow control; Logic programming;

fLanguage

English

Journal_Title

Software Engineering, IEEE Transactions on

Publisher

ieee

ISSN

0098-5589

Type

jour

DOI

10.1109/32.368135

Filename

368135