|
|||||
|
|
| 一种从Z规约到并行程序的精化方法 | |
| 引用本文： | 万剑怡,孙永强,薛锦云.一种从Z规约到并行程序的精化方法[J].软件学报,2002,13(11):2106-2111. |
| 作者姓名： | 万剑怡 孙永强 薛锦云 |
| 作者单位： | 1. 上海交通大学,计算机科学与工程系,上海,200030;江西师范大学,计算机科学系,江西,南昌,330027 2. 上海交通大学,计算机科学与工程系,上海,200030 3. 江西师范大学,计算机科学系,江西,南昌,330027;中国科学院,软件研究所,计算机科学重点实验室,北京,100080 |
| 基金项目： | 国家自然科学基金资助项目(69983003) |
| 摘 要： | 提出了一种通过对设计模式进行精化,从Z规约开发并行程序的方法.该方法对Z语言进行了并行扩充,从Z功能规约出发,通过使用扩展的设计模式逐步精化得到并行的设计规约,再通过保持语义的转换,得到可最后转换为并行代码的抽象并行程序.通过实例对这一方法进行了详细的描述. |
| 关 键 词： | 设计模式 精化 并行程序开发 |
| 文章编号： | 1000-9825/2002/13(11)2106-06 |
| 收稿时间： | 2001/3/16 0:00:00 |
| 修稿时间： | 2001年3月16日 |
Refinement from Z Specification to Parallel Program |
|
| WAN Jian-yi,SUN Yong-qiang and XUE Jin-yun.Refinement from Z Specification to Parallel Program[J].Journal of Software,2002,13(11):2106-2111. | |
| Authors: | WAN Jian-yi SUN Yong-qiang and 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. |
| Keywords: | design patterns refinement parallel program development |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ | |
| 点击此处可从《软件学报》浏览原始摘要信息 | |
| 点击此处可从《软件学报》下载全文 | |
