| 本文已被：浏览 4083次 下载 6053次 |
码上扫一扫！ |
|
|
| 一种从Z规约到并行程序的精化方法 |
|
万剑怡1,2, 孙永强1, 薛锦云2,3
|
|
1.上海交通大学,计算机科学与工程系,上海,200030;2.江西师范大学,计算机科学系,江西,南昌,330027;3.中国科学院,软件研究所,计算机科学重点实验室,北京,100080
|
|
| 摘要: |
| 提出了一种通过对设计模式进行精化,从Z规约开发并行程序的方法.该方法对Z语言进行了并行扩充,从Z功能规约出发,通过使用扩展的设计模式逐步精化得到并行的设计规约,再通过保持语义的转换,得到可最后转换为并行代码的抽象并行程序.通过实例对这一方法进行了详细的描述. |
| 关键词: 设计模式 精化 并行程序开发 |
| DOI： |
| 分类号: |
| 基金项目:国家自然科学基金资助项目(69983003) |
|
| Refinement from Z Specification to Parallel Program |
|
WAN Jian-yi,SUN Yong-qiang,XUE Jin-yun
|
| Abstract: |
| In this paper, a method of getting parallel program from Z specification through refinement of design patterns is proposed. It expands parallel concepts into Z notation. Beginning with Z functional specification, it refines expanded design patterns step by step to get parallel design, and succeed in obtaining abstract parallel program through semantic-preserving transformations, which can be transformed to parallel code finally. This method is described in detail through an example. |
| Key words: design patterns refinement parallel program development |
