期刊文献+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息

一种从Z规约到并行程序的精化方法 被引量：3

Refinement from Z Specification to Parallel Program
下载PDF
导出
摘要 提出了一种通过对设计模式进行精化,从Z规约开发并行程序的方法.该方法对Z语言进行了并行扩充,从Z功能规约出发,通过使用扩展的设计模式逐步精化得到并行的设计规约,再通过保持语义的转换,得到可最后转换为并行代码的抽象并行程序.通过实例对这一方法进行了详细的描述. 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 succeeds 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.
作者 万剑怡 孙永强 薛锦云
机构地区 上海交通大学计算机科学与工程系 江西师范大学计算机科学系
出处 《软件学报》 EI CSCD 北大核心 2002年第11期2106-2111,共6页 Journal of Software
基金 国家自然科学基金资助项目(69983003)~~
关键词 Z规约 并行程序 精化方法 程序设计 Codes (symbols) Computer program listings Design Fourier transforms Mathematical models Semantics Specifications
分类号 TP311.1 [自动化与计算机技术—计算机软件与理论]
  • 相关文献

参考文献10

  • 1Gamma, E., Helm, R., Johnson, R., et al. Design Patterns: Elements of Reusable Object-Oriented Software. Addison-Wesley, 1995.
  • 2Wan, Jian-yi, Sun, Yong-qiang, Xue, Jin-yun. Expanding design patterns to parallel programming. In: Chen, Jian, Chen, Ping, Meyor, B., eds. Proceedings of the 38th International Conference on Technology of Object Oriented Languages and Systems, TOOLS 36. Los Alamitos, CA: IEEE Computer Society, 2000.
  • 3Massingill, Berna. A Structured Approach to Parallel Programming [Ph.D. Thesis]. California Institute of Technology, 1998.
  • 4Berman, K.A., Berman, K., Paul, J. Fundamentals of Sequential and Parallel Algorithms. Boston, MA: PWS Publishing Company, 1997.
  • 5Dingel, J. A trace-based refinement calculus for shared-variable parallel programs. In: Haeberer, A.M., ed. Algobraic Methodology and Software Technology, Proceedings of the 7th International Conference, AMAST'98. LNCS 1548, Berlin: Spring-Verlag, 1999.
  • 6Bodeveix, J.P., Filali, M. A framework for parallel program refinement. In: Brinksma, E., Cleaveland, W.R., Larsen, K.G., et al., eds. Proceedings of the Workshop on Tools and Algorithms for the Construction and Analysis of Systems. Berlin: Spring-Verlag, 1995.
  • 7Chin, Wei-Ngan, Khoo, Siau-Cheng, Hu, Zhen-jiang, et al. Deriving parallel codes via invariants. In: Static Analysis, Proceedings of the 7th International Symposium, SAS 2000. LNCS 1824, Spring-Verlag, 2000.
  • 8Bacci, B., Danelutto, M., et al. SkIE: a heterogeneous environment for HPC applications. Parallel Computing, 1999,25:1827～1852.
  • 9Massingill, B.L., Chandy, K.M. Parallel program archetypes. In: IPPS/SPDP, Proceedings of the 13th International Parallel Processing Symposium, 10th Symposium on Parallel and Distributed Processing. Los Alamitos, CA: IEEE Computer Society, 1999. http://resolver.library.caltech.edu/caltechCSTR:1997.cs-tr-96-28.
  • 10Goswami, D., Singh, A., Preiss, B.R. Building parallel applications using design patterns. In: Advances in Software Engineering: Topics in Comprehension, Evolution and Evaluation. New York: Springer-Verlag, 2000.

同被引文献11

  • 1万剑怡,孙永强,薛锦云.Expanding Design Patterns to ParaUel Programming[A].第36届面向对象语言与系统技术国际会议TOOLS36[C].2000(EI收录).1～8.
  • 2Dhrubajyoti Goswami,Ajit Singh,Bruno R Preiss. Building parallel applications using design patterns[A]. Advances in Software Engineering:Topics in Comprehension, Evolution and Evaluation[ M ]. New York, Springer-Verlag. July 2000.1-6.
  • 3E Gamma, et al. Design Pattern:Elements of Reusable Object-Oriented Software[ M]. Reading, MA: Addison-Wesley, 1995.
  • 4Steffen Corzig. CPPvm: C ++ Interface to PVM(Parallel Virtual Machine) [ EB/OL]. http://www. informatik. unistuttgart. de/ipvr/bv/cppvm/download. html, 1999-02-27.
  • 5AndreiAlexandrescu 侯捷译.C++设计新思维-泛型编程与设计模式之应用[M].武汉:华中科技大学出版社,2003..
  • 6万剑怡,孙永强,薛锦云.Expanding Design Patterns to Parallel Programming[C].第36届面向对象语言与系统技术国际会议TOOLS36,2000(EI收录),1-8.
  • 7Dhrubajyoti Goswami,Ajit Singh,Bruno R.Preiss.Builing Parallel Applications Using Design Patterns[J].In Advances in Software Engineering:Topics in Comprehension,Evolution and Evaluation,New York,NY.2000,(7):1-6.
  • 8E Gamma.Design Pattern:Elements of Reusable Object-Oriented Software[M],Reading,MA:Addison-Wesley,1995.
  • 9Andrei Alexandrescu.C++ 设计新思维--泛型编程与设计模式之应用[M].侯捷,译.武汉:华中科技大学出版社,2003.
  • 10Steffen Gorzig.CPPvm:C++ Interface to PVM (Parallel Virtual Machine)[EB/OL].http://www.informatik.uni-stuttgart.de/ipvr/bv/cppvm/download.html.

引证文献3

软件学报
2002年 第11期

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

内容加载中请稍等...
;
使用帮助 返回顶部