一种将设计模式用于程序精化演算的并行程序设计方法研究  

Study of a Parallel Programming Method of Using Design Patterns in Program Refinement Calculus

作　　者：万剑怡[1] 孙永强[2] 薛锦云[1,3] 

机构地区：[1]江西师范大学计算机科学与技术系 [2]上海交通大学计算机科学与工程系 [3]中国科学院软件研究所计算机科学开放实验室北京100080

出　　处：《计算机研究与发展》2003年第2期318-324,共7页Journal of Computer Research and Development

基　　金：国家自然科学基金 (69983 0 0 3 )

摘　　要：并行程序设计是并行计算的难点之一 提出了一种将设计模式用于程序精化演算的并行程序设计方法 它通过在Z语言的Schema演算体系中扩充并行的概念和表示 ,使用设计模式 ,将问题求解和并行开发的知识进行形式化的定义与描述 ,通过扩充的Schema演算将其与模型规范进行复合 ,逐步精化得到抽象并行程序Programmability of parallel programs is one of the difficulties of parallel computing In this paper, a method of parallel programming is proposed, which uses design patterns in program refinement calculus In this method, the Schema calculus of Z notation is expanded with parallel concepts and representations The knowledge of problem solving and parallel development is defined and described using design patterns With the expanded Schema calculus, design patterns can be composed with model specifications and refined step by step to get abstract parallel program This method is specified in details through examples

关 键 词：设计模式 程序精化演算 并行程序设计方法 面向对象 并行计算 软件开发 

分 类 号：TP311.11[自动化与计算机技术—计算机软件与理论]