|
|||||
|
|
| 一种将设计模式用于程序精化演算的并行程序设计方法研究 | |
| 引用本文： | 万剑怡,孙永强,薛锦云. 一种将设计模式用于程序精化演算的并行程序设计方法研究[J]. 计算机研究与发展, 2003, 40(2): 318-324 |
| 作者姓名： | 万剑怡 孙永强 薛锦云 |
| 作者单位： | 1. 江西师范大学计算机科学与技术系,南昌,330027 2. 上海交通大学计算机科学与工程系,上海,200030 3. 江西师范大学计算机科学与技术系,南昌,330027;中国科学院软件研究所计算机科学开放实验室,北京,100080 |
| 基金项目： | 国家自然科学基金 (69983 0 0 3 ) |
| 摘 要： | 并行程序设计是并行计算的难点之一。提出了一种将设计模式用于程序精化演算的并行程序设计方法。它通过在Z语言的Schema演算体系中扩充并行的概念和表示，使用设计模式，将问题求解和并行开发的知识进行形式化的定义与描述，通过扩充的Schema演算将其与模型规范进行复合，逐步精化得到抽象并行程序。通过实例对这一方法进行了详细的描述。 |
| 关 键 词： | 设计模式 程序精化演算 并行程序设计方法 面向对象 并行计算 软件开发 |
Study of a Parallel Programming Method of Using Design Patterns in Program Refinement Calculus |
|
| WAN Jian Yi ,SUN Yong Qiang ,and XUE Jin Yun . Study of a Parallel Programming Method of Using Design Patterns in Program Refinement Calculus[J]. Journal of Computer Research and Development, 2003, 40(2): 318-324 | |
| Authors: | WAN Jian Yi SUN Yong Qiang and XUE Jin Yun |
| Affiliation: | WAN Jian Yi 1,SUN Yong Qiang 2,and XUE Jin Yun 1,3 1 |
| Abstract: | 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 |
| Keywords: | design pattern refinement calculus parallel programming |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ | |