並行程式的規格與設計之研究

Abstract

本文提出一「公式化抽象描述方法」來對順序程式和並行程式做描述與驗證。 通常一個程式是由一些功能運算和資料結構所組成; 而藉著功能運算和資料結構的分 別描述, 我們可以建立起順序程式的描述。 同樣地, 利用「公式化抽象描述方法」, 我們也能建立並行程式的描述, 且進一步地 設計出一些應用管理者的并行程式, 這些管理者是用來控制並行程式中眾多程序間的 交互作用。最後, 用公式化的證明方法, 我們所設計的並行程式是可以被驗證和其當 初的描述符合。